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.

- 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