gmp_prob_prime - проверяет, является ли число "probably prime/возможно простым числом".
Описание
int gmp_prob_prime (resource a [, int reps])
Если эта функция возвращает 0, a определено не простое число. Если возвращает 1,
a является "вероятно" простым числом. Если возвращает 2, a наверняка является простым. Имеют смысл значения
reps от 5 до 10 (по умолчанию 10); более высокое значение уменьшает вероятность не-простого числа пройти
как "probable" prime.
Функция использует тест вероятности Miller’а-Rabin’а.