arithmetic-1.2: Natural number arithmetic

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Arithmetic.Prime.Factor

Description

 

Documentation

newtype Factor Source

Constructors

Factor 

Fields

unFactor :: Map Natural Natural
 

Instances

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

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