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 compositeness:
A certificate need not come from PrimeQCertificate. Here is the certificate generated by PrimeQCertificate for 3837523:
A different certificate asserting that 3837523 is composite: