Arithmetic.Prime.Factor
data Factor
one
isOne
primePower
destPrimePower
isPrimePower
prime
destPrime
isPrime
multiply
exp
root
destRoot
isRoot
gcd
trialDivision
destSmooth
isSmooth
nextSmooth
multiplicative
toNatural
totient
factorPower
factor
randomRSA