### 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 :

1. Trouver les solutions de :

   ⎧ ⎨ ⎩ |
   x= | 3 (mod 5)
   x= | 9 (mod 13)

   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
2. 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 tape
   ichinrem([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