suivant: Réduction par rapport à
monter: Base et réduction de
précédent: Base et réduction de
Table des matières
Index
Base de Gr
bner : gbasis
gbasis a deux arguments : un vecteur constitué de polynômes de
plusieurs variables et le vecteur constitué du nom de ces variables.
gbasis renvoie une base de Gr
bner de l'idéal polynomial engendré
par les polynômes donnés dans le premier argument.
On choisit d'ordonner les monômes selon l'ordre lexicographique en accord
avec la liste donnée par le dernier
argument et selon les puissances décroissantes : par exemple on écrira
x2*y4*z3 puis
x2*y3*z4 si le deuxième argument est [x, y, z] car
(2, 4, 3) > (2, 3, 4) mais on écrira
x2*y3z4 puis
x2*y4*z3 si le
deuxième argument est [x, z, y].
Si I est un idéal et si
(Gk)k
K est une base de Gr
bner de l'idéal I alors,
si F est un polynôme non nul de I, le terme dominant de F
est divisible par le terme dominant d'un Gk.
Propriété : Si on fait la division euclidienne de F par un des Gk
puis, si on recommence avec le reste obtenu et le Gk suivant, on finit par obtenir un reste nul.
On tape :
gbasis([2*x*y-y^
2,x^
2-2*x*y],[x,y])
On obtient :
[4*x^
2+-4*y^
2,2*x*y-y^
2,-(3*y^
3)]
suivant: Réduction par rapport à
monter: Base et réduction de
précédent: Base et réduction de
Table des matières
Index
Documentation de giac écrite par Renée De Graeve