Soit
{n_1,n_2,\ldots,n_r} dans
{\mathbb{N}^*}, premiers entre eux deux à deux. Soit
{N=\displaystyle\prod\limits_{k=1}^{r}n_k}.
Il existe un unique
x\in[\![0,N-1]\!] tel que
x\equiv n_j\mod n_j pour tout
j.
Ce résultat est communément appelé
théorème chinois. L’objet de cet article est de programmer le calcul de
x en Python (deux méthodes).