arithmetic-1.5: Natural number arithmetic
Arithmetic.Prime.Factor
Description
newtype Factor Source #
Constructors
Fields
Defined in Arithmetic.Prime.Factor
Methods
showsPrec :: Int -> Factor -> ShowS #
show :: Factor -> String #
showList :: [Factor] -> ShowS #
primePowers :: Factor -> [(Natural, Natural)] Source #
one :: Factor Source #
isOne :: Factor -> Bool Source #
primePower :: Natural -> Natural -> Factor Source #
destPrimePower :: Factor -> Maybe (Natural, Natural) Source #
isPrimePower :: Factor -> Bool Source #
prime :: Natural -> Factor Source #
destPrime :: Factor -> Maybe Natural Source #
isPrime :: Factor -> Bool Source #
destRSA :: Factor -> Maybe (Natural, Natural) Source #
isRSA :: Factor -> Bool Source #
multiply :: Factor -> Factor -> Factor Source #
exp :: Factor -> Natural -> Factor Source #
root :: Natural -> Factor -> (Factor, Factor) Source #
destRoot :: Natural -> Factor -> Maybe Factor Source #
isRoot :: Natural -> Factor -> Bool Source #
gcd :: Factor -> Factor -> Factor Source #
trialDivision :: [Natural] -> Natural -> (Factor, Natural) Source #
destSmooth :: [Natural] -> Natural -> Maybe Factor Source #
isSmooth :: [Natural] -> Natural -> Bool Source #
nextSmooth :: [Natural] -> Natural -> Factor Source #
multiplicative :: (Natural -> Natural -> a) -> (a -> a -> a) -> a -> Factor -> a Source #
toNatural :: Factor -> Natural Source #
totient :: Factor -> Natural Source #
factorPower :: Natural -> Natural -> Maybe (Natural, Natural) Source #
factor :: Natural -> (Natural -> Random -> Maybe Natural) -> Natural -> Random -> Maybe Factor Source #
randomRSA :: Natural -> Random -> Factor Source #