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}} | ||
− | ;GroebnerLexGrInv[Lista di polinomi]: Calcola la base di Gröbner della lista di polinomi, con ordinamento lessicografico inverso rispetto al grado delle variabili. | + | ;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 16:38, 9 mag 2014
Questa descrizione si riferisce a funzionalità supportate solo nella versione GeoGebra 5.0. |
- 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.