arithmetic-1.5: 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

Instances
Show Factor Source # 
Instance details

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 #