PrimalityProving`
PrimalityProving`

PrimeQCertificateCheck

PrimeQCertificateCheck[cert,n]

gives True if cert is a valid certificate for the primality or compositeness of n, and False otherwise.

Details and Options

  • To use PrimeQCertificateCheck, you first need to load the Primality Proving Package using Needs["PrimalityProving`"].
  • PrimeQCertificateCheck recognizes whether cert is a primality or compositeness certification, and then uses the certificate to verify the assertion.
  • The certificate cert should match the integer n.

Examples

Basic Examples  (3)

A certificate of primality:

Check:

A certificate of compositeness:

Check:

A certificate need not come from PrimeQCertificate. Here is the certificate generated by PrimeQCertificate for 3837523:

A different certificate asserting that 3837523 is composite:

Check: