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.