Compute the leading term of a polynomial - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Polynomials : Groebner : Groebner/LeadingTerm

Groebner[LeadingTerm] - Compute the leading term of a polynomial

Groebner[LeadingMonomial] - Compute the leading monomial of a polynomial

Groebner[LeadingCoefficient] - Compute the leading coefficient of a polynomial

Groebner[TrailingTerm] - Compute the trailing term of a polynomial

Calling Sequence

LeadingTerm(f, T)

LeadingCoefficient(f, T)

LeadingMonomial(f, T)

LeadingMonomial(J, tord)

TrailingTerm(f, T)

Parameters

f

-

polynomial or list or set of polynomials

T

-

MonomialOrder or ShortMonomialOrder

J

-

PolynomialIdeal

tord

-

ShortMonomialOrder

Description

• 

The LeadingTerm command computes the largest (or leading) term of a polynomial f with respect to the monomial order T and returns the sequence (leading coefficient, leading monomial).  If T is a ShortMonomialOrder then f must be a polynomial in the ring implied by T.  If T is a MonomialOrder created with the Groebner[MonomialOrder] command, then f must be a member of the algebra used to define T.  The LeadingTerm command automatically maps onto lists and sets.

• 

The LeadingMonomial and LeadingCoefficient commands behave identically to LeadingTerm, but return only leading monomials or coefficients, respectively.  The LeadingMonomial command has an additional syntax, LeadingMonomial(J, tord) computes the ideal of leading monomials for a PolynomialIdeal J. This typically requires the computation of a Groebner basis.

• 

The TrailingTerm command is identical to LeadingTerm, except the smallest (or trailing) term of a polynomial f is computed.  It returns the sequence (trailing coefficient, trailing monomial).

• 

To compare or sort monomials with respect to a monomial order, use the TestOrder command. For a description of the monomial orders that are available in Maple, see the Monomial Orders help page.

• 

Note that the leadcoeff, leadterm, and leadmon commands have been superseded by LeadingCoefficient, LeadingMonomial, and LeadingTerm, respectively.  (Warning: the notions of monomials and terms were interchanged; see Groebner[terminology] for details).  The lowercase commands may not be supported in a future Maple release.

Examples

withGroebner:

p:=18xy5z96xy4z2+9xy4592xy3z+45y5+240y4z+320xy2+1600y3

p:=18xy5z96xy4z2+9xy4592xy3z+45y5+240y4z+320xy2+1600y3

(1)

LeadingTermp,plexx,y

18z,xy5

(2)

LeadingTermp,plexx,y,z

18,xy5z

(3)

TrailingTermp,plexx,y,z

1600,y3

(4)

LeadingTermp,plexz,y,x

96,xy4z2

(5)

LeadingCoefficientp,plexz,y,x

96

(6)

LeadingMonomialp,plexz,y,x

xy4z2

(7)

P:=5x2+y+z2:

Q:=3xy1:

LeadingMonomialP,Q,tdegx,y,z

x2,xy

(8)

withPolynomialIdeals:

LeadingMonomialP,Q,tdegx,y,z

x2,xy,yz2

(9)

See Also

Groebner basis, InitialForm, Monomial Orders, MonomialOrder, PolynomialIdeal, TestOrder


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam