Lorsque gcd a deux polynômes à coefficients dans ℤ/pℤ
comme arguments (p doit être premier).
gcd calcule le PGCD des deux polynômes dans ℤ/pℤ[x] (voir aussi
6.28.7 pour les polynômes à coefficients non modulaires).
On tape :
^2+5)% 13,(5*x^2+2*x-3)% 13)On obtient :
On tape :
^2+2*x+1,x^2-1) mod 5On obtient :
Mais si on tape :
^2+2*x+1,x^2-1)) mod 5)gcd est calculé dans ℤ[X] puis le calcul modulaire est effectué, on obtient :