next up previous contents index
suivant: Quotient and remainder : monter: Le calcul modulaire dans précédent: Quotient : quo   Table des matières   Index


Remainder : rem

rem a comme arguments deux polynômes A et B à coefficients dans $ \mathbb {Z}$/p$ \mathbb {Z}$. 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.
rem renvoie le reste de la division euclidienne de A par B dans $ \mathbb {Z}$/p$ \mathbb {Z}$[x].
On tape :
rem((x^3+x^2+1)%13,(2*x^2+4)%13)
Ou on tape :
rem((x^3+x^2+1,2*x^2+4)%13)
On obtient :
(-2%13)*x+-1%13
en effet x3 + x2 +1 = (2x2 +4)($\displaystyle {\frac{{x+1}}{{2}}}$) + $\displaystyle {\frac{{5x-4}}{{4}}}$
et que -3*4 = - 6*2 = 1  mod 13



Documentation de giac écrite par Renée De Graeve