-- -*- M2-comint -*- {* hash: 39230914 *} i1 : R = QQ[a..d, MonomialOrder => ProductOrder{2,2}]; i2 : leadTerm(1, (c+d)*a^3 - c^100*a - 1) 3 3 o2 = a c + a d o2 : R i3 :
-- -*- M2-comint -*- {* hash: 39230914 *} i1 : R = QQ[a..d, MonomialOrder => ProductOrder{2,2}]; i2 : leadTerm(1, (c+d)*a^3 - c^100*a - 1) 3 3 o2 = a c + a d o2 : R i3 :