Rem est la forme inerte de rem.
Rem renvoie le reste de la division euclidienne de deux
polynômes (division selon les puissances décroissantes) sans l’évaluer et
cela permet de calculer le reste euclidien de deux polynômes à
coefficients dans ℤ/pℤ en utilisant la syntaxe Maple.
Attention il faut être en mode Maple pour que cela soit efficace.
On tape, en mode Xcas :
^3-1,x^2-1)On obtient :
^3-1,x^2-1)On peut aussi taper pour avoir le reste de x2+2x+4 par x2+x+2 :
On obtient :
En mode Maple on tape :
^3+3*x,2*x^2+6*x+5) mod 5On obtient :
La division est faite dans ℤ/5ℤ[X] alors que pour :
^3+3*x,2*x^2+6*x+5) mod 5la division est faite dans ℤ[X] puis est réduite après :
Si Xcas n’est pas en mode Maple, la division des polynômes dans ℤ/pℤ[X] se fait en tapant :
rem((x^3+3*x)% 5,(2x^2+6x+5)%5)