arithmetic-1.1: Natural number arithmetic

LicenseMIT
MaintainerJoe Leslie-Hurd <[email protected]>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
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