leadTerm -- get the greatest term

Description

Every polynomial ring in Macaulay2 comes equipped with a monomial ordering. For ring elements and matrices, this function returns the greatest term in this order.

For an ideal, a Gröbner basis is first computed, and the ideal of lead terms is returned.

If an initial integer n is specified, then the returned value contains the sum of all of the terms with the greatest value on the first n parts of the monomial order.

Ways to use leadTerm :

leadTerm(Ideal) -- get the ideal of greatest terms
leadTerm(GroebnerBasis) -- see leadTerm(Matrix) -- get the greatest term of each column
leadTerm(Matrix) -- get the greatest term of each column
leadTerm(Vector) -- see leadTerm(Matrix) -- get the greatest term of each column
leadTerm(RingElement) -- get the greatest term
leadTerm(ZZ,Ideal) -- get the ideal of lead polynomials
leadTerm(ZZ,Matrix) -- get the matrix of lead polynomials of each column
leadTerm(ZZ,RingElement) -- get the lead polynomials using part of the monomial order

For the programmer

The object leadTerm is a method function.