Pour tout nombre entier A tel que 1 < A < N-1, si A^(N-1) % N est différent de 1, alors N n'est pas premier.
Le test précédent est répété NbIterations fois pour avoir une probabilité assez fiable de l'affirmation.
On calcule d'abord les nombres D et S tels que 2^S*D=N-1.
Pour tout nombre entier A tel que 1 < A < N-1, si A^D % N est différent de 1 et si, pour tout R tel que 0 < R < S-1, A^(2^R*D) % N est différent de N-1, alors N n'est pas premier.
Le test précédent est répété NbIterations fois pour avoir une probabilité assez fiable de l'affirmation.
Pour tout nombre entier A tel que 1 < A < N-1 :
X=A % N.
A^((N-1)/2) est différent de X alors N n'est pas premier.
Le test précédent est répété NbIterations fois pour avoir une probabilité assez fiable de l'affirmation.