Теория чисел и язык Haskell: различия между версиями

Содержимое удалено Содержимое добавлено
мНет описания правки
Строка 339:
 
Для проверки простоты чисел Ферма используется тест Пепина,
являющийся [[w:Полиномиальная вычислимость|полиномиальным]]. Данный тест утверждает, что число Ферма
<math>F_{n}</math> является простым тогда и только тогда, когда
<math>3^{\frac{F_{n} - 1}{2}} \equiv -1 (\mod F_{n})</math>.