# 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 .