# GroebnerDegRevLex Command

From GeoGebra Manual

## CAS Syntax

- GroebnerDegRevLex( <List of Polynomials> )
- Computes the Gröbner basis of the list of the polynomials with respect to graded reverse lexicographical ordering of the variables (also known as
*total degree reverse lexicographic ordering*,*degrevlex*or*grevlex*ordering). **Example:**`GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1})`

yields { y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y + 1 }.

- GroebnerDegRevLex( <List of Polynomials>, <List of Variables> )
- Computes the Gröbner basis of the list of the polynomials with respect to graded reverse lexicographical ordering of the given variables (also known as
*total degree reverse lexicographic ordering*,*degrevlex*or*grevlex*ordering). **Example:**`GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}, {y, x})`

yields { x^{2} + y + 1, y x + y + x + 2, y^{2} + 3 y - x + 3}.

**Note:**See also GroebnerLex and GroebnerLexDeg commands.