Difference between revisions of "GroebnerDegRevLex Command"
From GeoGebra Manual
m |
(command syntax: changed [ ] into ( )) |
||
| (3 intermediate revisions by 2 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== | ==CAS Syntax== | ||
| − | ;GroebnerDegRevLex | + | ;GroebnerDegRevLex( <List of Polynomials> ): Computes the Gröbner basis of the list of the polynomials with respect to graded reverse lexicographical ordering of the variables (also known as ''total degree reverse lexicographic ordering'', ''degrevlex'' or ''grevlex'' ordering). |
| − | :{{example| 1= | + | :{{example| 1=<code><nowiki>GroebnerDegRevLex({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>}.}} |
| − | ;GroebnerDegRevLex | + | ;GroebnerDegRevLex( <List of Polynomials>, <List of Variables> ): Computes the Gröbner basis of the list of the polynomials with respect to graded reverse lexicographical ordering of the given variables (also known as ''total degree reverse lexicographic ordering'', ''degrevlex'' or ''grevlex'' ordering). |
| − | :{{example| 1= | + | :{{example| 1=<code><nowiki>GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}, {y, x})</nowiki></code> yields {<math> x^{2} + y + 1, y x + y + x + 2, y^{2} + 3 y - x + 3</math>}.}} |
{{Note| See also [[GroebnerLex Command|GroebnerLex]] and [[GroebnerLexDeg Command|GroebnerLexDeg]] commands.}} | {{Note| See also [[GroebnerLex Command|GroebnerLex]] and [[GroebnerLexDeg Command|GroebnerLexDeg]] commands.}} | ||
Latest revision as of 10:51, 12 October 2017
CAS Syntax
- GroebnerDegRevLex( <List of Polynomials> )
- Computes the Gröbner basis of the list of the polynomials with respect to graded reverse lexicographical ordering of the variables (also known as total degree reverse lexicographic ordering, degrevlex or grevlex ordering).
- Example:
GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1})yields { y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y + 1 }.
- GroebnerDegRevLex( <List of Polynomials>, <List of Variables> )
- Computes the Gröbner basis of the list of the polynomials with respect to graded reverse lexicographical ordering of the given variables (also known as total degree reverse lexicographic ordering, degrevlex or grevlex ordering).
- Example:
GroebnerDegRevLex({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 GroebnerLex and GroebnerLexDeg commands.
