Difference between revisions of "GroebnerLex Command"

From GeoGebra Manual
Jump to: navigation, search
(Created page with "<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} {{command|logical}} ;GroebnerLex[ <List of Polynomials> ]: Computes the Groebner basis of the list...")
 
Line 2: Line 2:
 
{{command|logical}}
 
{{command|logical}}
 
;GroebnerLex[ <List of Polynomials> ]: Computes the Groebner basis of the list of the polynomials with respect to lexicographical ordering of the variables.
 
;GroebnerLex[ <List of Polynomials> ]: Computes the Groebner 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>
+
{{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>.
\left\{ y^{3} + 4 \; y^{2} + 7 \; y + 5, x - y^{2} - 3 \; y - 3 \right\
 
</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:23, 8 May 2014


GroebnerLex[ <List of Polynomials> ]
Computes the Groebner 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.

© 2024 International GeoGebra Institute