leadMonomial -- the leading monomial of a ring element

• Usage:

  leadMonomial f

• Inputs:
  • f, a ring element, a polynomial
• Outputs:
  • a ring element, the monomial, with no coefficient, of the leading term of f

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

i3 : leadMonomial f

        3
o3 = b*c

o3 : R

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

i6 : leadMonomial g

        2
o6 = a*b

o6 : S