module Math.NumberTheory.Primes.Testing.Certificates {-# DEPRECATED "This module will be removed in the next release" #-}
(
Certificate(..)
, argueCertificate
, CompositenessProof
, composite
, PrimalityProof
, cprime
, CompositenessArgument(..)
, PrimalityArgument(..)
, arguePrimality
, argueCompositeness
, verifyPrimalityArgument
, verifyCompositenessArgument
, certify
, checkCertificate
, checkCompositenessProof
, checkPrimalityProof
) where
import Math.NumberTheory.Primes.Testing.Certificates.Internal