chinrem a comme argument deux listes ayant chacun comme
composantes deux polynômes éventuellement donnés par la liste de leurs
coefficients par ordre décroissant.
chinrem renvoie une liste de composantes deux polynômes.
chinrem([A,R],[B,Q]) renvoie la liste des polynômes
P et S vérifiant :
| S=R.Q, P=A (mod R ), P=B (mod Q ) |
Il existe toujours une solution
P si R et Q sont premiers entre eux, et toutes les
solutions sont congrues modulo S=R*Q
Trouver les solutions P(x) de :
|
On tape :
On obtient :
ou on tape :
^2+1],[x-1,x^2-1])On obtient :
^2+x+1/-2,x^4-1]
donc P(x)=−x2−2.x+1/2 (mod x4−1)
Autre exemple :
On tape :
On obtient :
ou on tape :
^2+1],[x+1,x^2+x+1])On obtient :
^3-x^2+1,x^4+x^3+2*x^2+x+1]