Math.NumberTheory.Primes.Testing.Certificates

Certificates

data Certificate

argueCertificate

data CompositenessProof

composite

data PrimalityProof

cprime

Arguments

data CompositenessArgument

data PrimalityArgument

Weaken proofs to arguments

arguePrimality

argueCompositeness

Prove valid arguments

verifyPrimalityArgument

verifyCompositenessArgument

Determine and prove whether a number is prime or composite

certify

Checks for the paranoid

checkCertificate

checkCompositenessProof

checkPrimalityProof