GroebnerDegRevLex Command
From GeoGebra Manual
Revision as of 14:47, 8 May 2014 by Zoltan Kovacs (talk | contribs) (Created page with "<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} {{command|logical}} ;GroebnerDegRevLex[ <List of Polynomials> ]: Computes the Gröbner basis of th...")
This page is about a feature that is supported only in GeoGebra 5.0. |
- 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 }.
- GroebnerLex[ <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 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, y \; x - x, y^{2} - y }.
Note: See also GroebnerLex, GroebnerLexDeg commands.