next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Macaulay2Doc > rings > monomial orderings > GroupRevLex

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.

For the programmer

The object GroupRevLex is a symbol.