arithmetic-1.0: Natural number arithmetic

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

Arithmetic.Prime

Description

 

Documentation

factorTwos :: Natural -> (Int, Natural) Source

millerRabinWitness :: Natural -> Natural -> Bool Source

millerRabin :: Int -> Natural -> Random -> Bool Source

isPrime :: Natural -> Random -> Bool Source

previousPrime :: Natural -> Random -> Natural Source

randomPrime :: Int -> Random -> Natural Source