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