- Usage:
`leadCoefficient f`

- Inputs:
`f`, a ring element, a polynomial

- Outputs:
- a ring element, an element of the coefficientRing of the ring of
`f`

- a ring element, an element of the coefficientRing of the ring of

The leading term is with respect to the monomial ordering in the ring. See monomial orderings for details.

i1 : R = ZZ/5[a,b,c]; f = a*b^2 + 3*b*c^3 + 2; |

i3 : leadCoefficient f o3 = -2 ZZ o3 : -- 5 |

i4 : S = ZZ/5[a,b,c, MonomialOrder => Lex]; g = a*b^2 +3*b*c^3 + 2; |

i6 : leadCoefficient g o6 = 1 ZZ o6 : -- 5 |

- coefficients -- monomials and their coefficients
- coefficientRing -- get the coefficient ring
- leadComponent -- the leading component(s) of a vector or matrix
- leadMonomial -- the leading monomial of a ring element
- leadTerm -- get the greatest term
- someTerms -- select some terms of a polynomial
- terms -- provide a list of terms of a polynomial

- leadCoefficient(RingElement)