Difference between revisions of "GroebnerLex Command"

From GeoGebra Manual
Jump to: navigation, search
m (fixed bad display caused by div)
Line 2: Line 2:
 
{{command|logical}}
 
{{command|logical}}
 
;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).
:{{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>}}
+
{{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>}}
 
;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).
 
;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| 1=<div><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>}.</div>}}
+
{{example| 1=<div><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.}}
+
</div>}}
 +
{{Note| See also [[GroebnerDegRevLex Command|GroebnerDegRevLex]], [[GroebnerLexDeg Command|GroebnerLexDeg]] commands.}}

Revision as of 09:42, 9 May 2014


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, GroebnerLexDeg commands.
© 2024 International GeoGebra Institute