-- -*- M2-comint -*- {* hash: 1699750946 *} i1 : R = QQ[a..d,MonomialOrder => RevLex, Global => false]; i2 : a^3 + b^2 + b*c + a*c^2 + b^2*c + a + b + c 2 2 2 3 o2 = c + b + b*c + b + b c + a + a*c + a o2 : R i3 :
-- -*- M2-comint -*- {* hash: 1699750946 *} i1 : R = QQ[a..d,MonomialOrder => RevLex, Global => false]; i2 : a^3 + b^2 + b*c + a*c^2 + b^2*c + a + b + c 2 2 2 3 o2 = c + b + b*c + b + b c + a + a*c + a o2 : R i3 :