PrimalityProving`
PrimalityProving`
PrimeQCertificateCheck
PrimeQCertificateCheck[cert,n]
gives True if cert is a valid certificate for the primality or compositeness of n, and False otherwise.
更多信息和选项
- 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.
范例
基本范例 (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: