Difference between revisions of "GroebnerLex Command"
From GeoGebra Manual
m (Text replace - "" to "") |
m |
||
Line 1: | Line 1: | ||
− | <noinclude>{{Manual Page|version=5.0}}</noinclude> | + | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical}} |
− | {{command|logical}} | ||
==CAS Syntax== | ==CAS Syntax== | ||
;GroebnerLex[ <List of Polynomials> ]: Computes the Gröbner basis of the list of the polynomials with respect to lexicographical ordering of the variables (also known as ''lex'', ''plex'' or ''pure lexical'' ordering). | ;GroebnerLex[ <List of Polynomials> ]: Computes the Gröbner basis of the list of the polynomials with respect to lexicographical ordering of the variables (also known as ''lex'', ''plex'' or ''pure lexical'' ordering). |
Revision as of 11:21, 5 August 2015
CAS Syntax
- GroebnerLex[ <List of Polynomials> ]
- Computes the Gröbner basis of the list of the polynomials with respect to lexicographical ordering of the variables (also known as lex, plex or pure lexical ordering).
- Example:
GroebnerLex[{x^3-y-2,x^2+y+1}]
yields { y^{3} + 4 y^{2} + 7 y + 5, x - y^{2} - 3 y - 3 }.
- GroebnerLex[ <List of Polynomials>, <List of Variables> ]
- Computes the Gröbner basis of the list of the polynomials with respect to lexicographical ordering of the given variables (also known as lex, plex or pure lexical ordering).
- Example:
GroebnerLex[{x^3-y-2,x^2+y+1},{y,x}]
yields { -x^{3} - x^{2} + 1, -y - x^{2} - 1 }.
Note: See also GroebnerDegRevLex and GroebnerLexDeg commands.