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.