Difference between revisions of "GroebnerLexDeg 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}} | ||
+ | ==CAS Syntax== | ||
;GroebnerLexDeg[ <List of Polynomials> ]: Computes the Gröbner basis of the list of the polynomials with respect to graded lexicographical ordering of the variables (also known as ''grlex'', ''tdeg'', ''lexdeg'', ''total degree lexicographic ordering'' or ''elimination ordering''). | ;GroebnerLexDeg[ <List of Polynomials> ]: Computes the Gröbner basis of the list of the polynomials with respect to graded lexicographical ordering of the variables (also known as ''grlex'', ''tdeg'', ''lexdeg'', ''total degree lexicographic ordering'' or ''elimination ordering''). | ||
:{{example| 1=<div><code><nowiki>GroebnerLexDeg[{x^3 - y - 2, x^2 + y + 1}]</nowiki></code> yields {<math> -y^{2} + x - 3 y - 3, -x y - x - y - 2, x^{2} + y + 1</math>}.</div>}} | :{{example| 1=<div><code><nowiki>GroebnerLexDeg[{x^3 - y - 2, x^2 + y + 1}]</nowiki></code> yields {<math> -y^{2} + x - 3 y - 3, -x y - x - y - 2, x^{2} + y + 1</math>}.</div>}} |
Revision as of 09:01, 22 August 2014
This page is about a feature that is supported only in GeoGebra 5.0. |
CAS Syntax
- GroebnerLexDeg[ <List of Polynomials> ]
- Computes the Gröbner basis of the list of the polynomials with respect to graded lexicographical ordering of the variables (also known as grlex, tdeg, lexdeg, total degree lexicographic ordering or elimination ordering).
- Example:
GroebnerLexDeg[{x^3 - y - 2, x^2 + y + 1}]
yields { -y^{2} + x - 3 y - 3, -x y - x - y - 2, x^{2} + y + 1}.
- GroebnerLexDeg[ <List of Polynomials>, <List of Variables> ]
- Computes the Gröbner basis of the list of the polynomials with respect to graded lexicographical ordering of the given variables (also known as grlex, tdeg, lexdeg, total degree lexicographic ordering or elimination ordering).
- Example:
GroebnerLexDeg[{x^3 - y -2, x^2 + y + 1},{y, x}]
yields { x^{2} + y + 1, -y x - y - x - 2, y^{2} + 3 y - x + 3 }.
Note: See also GroebnerDegRevLex and GroebnerLex commands.