Test di Miller-Rabin: differenze tra le versioni

Versione delle 06:56, 5 ago 2010

Versione delle 21:57, 3 nov 2010

Riga 21:

# scegliamo a caso un intero b<math>_m</math>, con 1<b<math>_m</math><n, e calcoliamo M.C.D.(b<math>_m</math>, n);

# se M.C.D.(b<math>_m</math>, n) > 1, allora n non è primo, ed abbiamo finito;

# se M.C.D.(b<math>_m</math>, n) = 1, calcoliamo b<math>_m^{t}</math> (mod n), e procediamo come nel primo test. In questo modo troviamo che pn non è primo, oppure che n è pseudoprimo forte in base b<math>_m</math>.

==Considerazioni finali sul test==