arithmetic-1.2: Natural number arithmetic

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

Arithmetic.Prime

Description

 

Documentation

primes :: [Natural] Source

millerRabinWitness :: Natural -> Natural -> Bool Source

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

isPrime :: Natural -> Random -> Bool Source

previousPrime :: Natural -> Random -> Natural Source

nextPrime :: Natural -> Random -> Natural Source

nextPrime3Mod4 :: Natural -> Random -> Natural Source

nextPrime5Mod8 :: Natural -> Random -> Natural Source

randomPrime :: Natural -> Random -> Natural Source

randomPrime3Mod4 :: Natural -> Random -> Natural Source

randomPrime5Mod8 :: Natural -> Random -> Natural Source