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 : 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
|
The object leadMonomial is a method function.