PRIMALITY PROVING PACKAGE SYMBOL
gives True if cert is a valid certificate for the primality or compositeness of n, and False otherwise.
- To use , you first need to load the Primality Proving Package using Needs["PrimalityProving`"].
- 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.
A certificate of primality:
A certificate of compositeness:
A certificate need not come from PrimeQCertificate. Here is the certificate generated by PrimeQCertificate for :
A different certificate asserting that is composite: