ezgcd heugcd modgcd psrgcd désigne le PGCD (plus grand commun
diviseur) de deux polynômes (ou d’une liste de polynômes ou d’une
séquence de polynômes) de plusieurs variables.
ezgcd est calculé avec l’algorithme ezgcd,
heugcd est calculé avec l’algorithme dit du pgcd heuristique,
modgcd est calculé avec l’algorithme modulaire,
psrgcd est calculé avec l’algorithme du sous résultant.
On tape :
^
2-2*x*y+y^
2-1,x-y)ou
^
2-2*x*y+y^
2-1,x-y)ou
^
2-2*x*y+y^
2-1,x-y)ou
^
2-2*x*y+y^
2-1,x-y)ou
^
2-2*x*y+y^
2-1,x-y)On obtient :
On tape :
^
2)ou On tape :
^
2)ou
^
2)ou
^
2)On obtient :
On tape :
^
2)On obtient :
On tape :
^
4-y^
4,(x+1-y)^
2)On obtient :
Mais si on tape :
^
4-y^
4,(x+1-y)^
2)ou
^
4-y^
4,(x+1-y)^
2)ou
^
4-y^
4,(x+1-y)^
2)ou
^
4-y^
4,(x+1-y)^
2)On obtient :