GroupRevLex
Description
MonomialOrder => GroupRevLex => n inverts the first
n variables in the polynomial ring. In the following example,
a^-1 is in the ring, but
c^-1 is not.
i1 : R = QQ[a..d, MonomialOrder=>GroupRevLex=>2, Global=>false];
|
i2 : a^-1
-1
o2 = a
o2 : R
|
i3 : try c^(-1) else "failed"
o3 = failed
|
Caveat
This feature has not been implemented yet.