Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Primality Proving Package >
Primality Proving Package SymbolTutorials »|See Also »|More About »

PrimeQCertificateCheck

PrimeQCertificateCheck[cert, n]
gives True if cert is a valid certificate for the primality or compositeness of n, and False otherwise.
  • 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.
EXAMPLESCLOSE ALL
Basic Examples   (3)
Needs["PrimalityProving`"]
A certificate of primality:
In[2]:=
Click for copyable input
Out[2]=
Check:
In[3]:=
Click for copyable input
Out[3]=
 
Needs["PrimalityProving`"]
A certificate of compositeness:
In[2]:=
Click for copyable input
Out[2]=
Check:
In[3]:=
Click for copyable input
Out[3]=
 
Needs["PrimalityProving`"]
A certificate need not come from PrimeQCertificate. Here is the certificate generated by PrimeQCertificate for 3837523:
In[2]:=
Click for copyable input
Out[2]=
A different certificate asserting that 3837523 is composite:
In[3]:=
Click for copyable input
Out[3]=
Check:
In[4]:=
Click for copyable input
Out[4]=
© 2013 Wolfram Research, Inc. Japanese
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team