quo a comme arguments deux
polynômes A et B à coefficients dans ℤ/pℤ. A et B peuvent
être donnés par une expression polynômiale symbolique (de x ou du nom
de variable donné comme troisième argument) ou par la liste de
leur coefficients.
quo renvoie le quotient de la division euclidienne de A par B dans
ℤ/pℤ[x].
On tape :
^
3+x^
2+1)% 13,(2*x^
2+4)% 13)Ou on tape :
^
3+x^
2+1,2*x^
2+4)% 13)On obtient :
en effet x3+x2+1=(2x2+4)(x+1/2)+5x−4/4
et que −3*4=−6*2=1 mod13