Difference between revisions of "GroebnerLex Command"
From GeoGebra Manual
(command syntax: changed [ ] into ( )) |
|||
| (11 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
| − | <noinclude>{{Manual Page|version=5.0}}</noinclude> | + | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical}} |
| − | {{command|logical}} | + | ==CAS Syntax== |
| − | ;GroebnerLex | + | ;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| 1= | + | :{{example| 1=<code><nowiki>GroebnerLex({x^3-y-2,x^2+y+1})</nowiki></code> yields {<math> y^{3} + 4 y^{2} + 7 y + 5, x - y^{2} - 3 y - 3 </math>}.}} |
| − | </ | + | ;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). |
| − | {{Note| See also [[GroebnerDegRevLex Command|GroebnerDegRevLex]] | + | :{{example| 1=<code><nowiki>GroebnerLex({x^3-y-2,x^2+y+1},{y,x})</nowiki></code> yields {<math> -x^{3} - x^{2} + 1, -y - x^{2} - 1 </math>}.}} |
| + | |||
| + | {{Note| See also [[GroebnerDegRevLex Command|GroebnerDegRevLex]] and [[GroebnerLexDeg Command|GroebnerLexDeg]] commands.}} | ||
Latest revision as of 10:52, 12 October 2017
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.
