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



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