(PHP 4 >= 4.0.4, PHP 5)
gmp_prob_prime — Controlla se il numero è "probabilmente primo"
$a
[, int $reps
] )
Se questa funzione da come risultato 0, a non è primo.
Se sarà 1, allora
a è "probabilmente" primo. Invece se il risultato è 2, allora
a sarà sicuramente primo. I valori "attendibili" di
reps possono variare da 5 a 10 (di default 10); un valore più alto fa diminuire
la probabilità che un numero non primo passi come "probabile" primo.
La funzione usa il test probabilistico di Miller-Rabin.