 
 
 
6.7.25  Restes chinois : ichinrem, ichrem
ichinrem([a,p],[b,q]) ou ichrem([a,p],[b,q]) désigne 
une liste [c,lcm(p,q)] formée de deux entiers.
Le premier nombre c est tel que 
| ∀ k ∈ ℤ,    d=c+ k × lcm(p,q) | 
vérifie
| d=a (mod p ),    d=b (mod q ) | 
Si p et q sont premiers entre eux, il existe toujours une solution 
d et toutes les solutions sont alors congrues modulo p*q.
Exemples : 
- 
Trouver les solutions de :
On tape :
ichinrem([3,5],[9,13]) ou on tape :ichrem([3,5],[9,13]) On obtient :[-17,65]  ce qui veut dire que x=-17 (mod 65)
 On peut aussi taper :ichrem(3% 5,9% 13) On obtient :-17% 65  
- Trouver les solutions de :
| | ⎧ ⎪
 ⎨
 ⎪
 ⎩
 | | x= | 3 (mod 5) |  | x= | 4 (mod 7) |  | x= | 1 (mod 9) | 
 |  | 
 |  
 On tape tout d’abord :tmp:=ichinrem([3,5],[4,7]) ou on tape :tmp:=ichrem([3,5],[4,7]) On obtient :[-17,35]  puis on tapeichinrem([1,9],tmp) ou on tape :ichrem([1,9],tmp) On obtient :[-17,315]  ce qui veut dire que x=-17 (mod 315)
 On peut aussi taper directement :
 ichinrem([3% 5,4% 7,1% 9]) On obtient :-17% 315  
 
 
