Difference between revisions of "GroebnerLex Command"
From GeoGebra Manual
| Line 1: | Line 1: | ||
<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} | <noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} | ||
{{command|logical}} | {{command|logical}} | ||
| − | ;GroebnerLex[ <List of Polynomials> ]: Computes the | + | ;GroebnerLex[ <List of Polynomials> ]: Computes the Gröbner basis of the list of the polynomials with respect to lexicographical ordering of the variables. |
| − | {{example| 1=<div><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>. | + | {{example| 1=<div><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>}. |
</div>}} | </div>}} | ||
| − | {{Note| See also [[GroebnerDegRevLex Command|GroebnerDegRevLex]], [[GroebnerLexDeg Command|GroebnerLexDeg]] commands. | + | {{Note| See also [[GroebnerDegRevLex Command|GroebnerDegRevLex]], [[GroebnerLexDeg Command|GroebnerLexDeg]] commands.}} |
Revision as of 14:25, 8 May 2014
 |
This page is about a feature that is supported only in GeoGebra 5.0. |
- GroebnerLex[ <List of Polynomials> ]
- Computes the Gröbner basis of the list of the polynomials with respect to lexicographical ordering of the variables.
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 }.
Note: See also GroebnerDegRevLex, GroebnerLexDeg commands.
