Algebra.Algorithms.PrimeTest

repeatedSquare

modPow

fermatTest

isPseudoPrime