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]