i1 : R = ZZ [x, y]; |
i2 : degreesRing R o2 = ZZ [T, MonomialOrder => RevLex, Inverses => true] o2 : PolynomialRing |
i3 : S = ZZ[x,y, Degrees=>{{1,1},{1,1}}]; |
i4 : degreesRing S o4 = ZZ [T , T , MonomialOrder => RevLex, Inverses => true] 0 1 o4 : PolynomialRing |