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.