Differenze tra le versioni di "Comando GroebnerLexGrInv"
Da GeoGebra Manual.
Riga 1: | Riga 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|GroebnerLexGrInv}} | {{command|logical|GroebnerLexGrInv}} | ||
+ | ==Sintassi CAS== | ||
;GroebnerLexGrInv[Lista di polinomi]: Calcola la base di Gröbner della lista di polinomi, con ordinamento lessicografico inverso rispetto al grado delle variabili (anche noto come ''[http://en.wikipedia.org/wiki/Monomial_order grevlex]''). | ;GroebnerLexGrInv[Lista di polinomi]: Calcola la base di Gröbner della lista di polinomi, con ordinamento lessicografico inverso rispetto al grado delle variabili (anche noto come ''[http://en.wikipedia.org/wiki/Monomial_order grevlex]''). | ||
:{{example| 1=<code><nowiki>GroebnerDegRevLex[{x^3 - y - 2, x^2 + y + 1}]</nowiki></code> restituisce {<math> y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y + 1 </math>}.}} | :{{example| 1=<code><nowiki>GroebnerDegRevLex[{x^3 - y - 2, x^2 + y + 1}]</nowiki></code> restituisce {<math> y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y + 1 </math>}.}} |
Versione delle 10:42, 22 ago 2014
Questa descrizione si riferisce a funzionalità supportate solo nella versione GeoGebra 5.0. |
Sintassi CAS
- GroebnerLexGrInv[Lista di polinomi]
- Calcola la base di Gröbner della lista di polinomi, con ordinamento lessicografico inverso rispetto al grado delle variabili (anche noto come grevlex).
- Esempio:
GroebnerDegRevLex[{x^3 - y - 2, x^2 + y + 1}]
restituisce { y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y + 1 }.
- GroebnerLexGrInv[Lista di polinomi, Lista di variabili]
- Calcola la base di Gröbner della lista di polinomi, con ordinamento lessicografico inverso rispetto al grado delle variabili indicate.
- Esempio:
GroebnerLexGrInv[{x^3 - y - 2, x^2 + y + 1},{y, x}]
restituisce { x^{2} - y, y \; x - x, y^{2} - y }.
Note: Vedere anche i comandi GroebnerLex e GroebnerLexGr.