Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Primality Proving Package >
PRIMALITY PROVING PACKAGE SYMBOLTutorials »|See Also »|More About »

ProvablePrimeQ

ProvablePrimeQ[n]
gives True if n is provably prime, and False otherwise.
MORE INFORMATION
  • When ProvablePrimeQ[n] returns True, then n is prime based on the Pratt certificate of primality or the Atkin-Morain certificate of primality.
  • should not be used as a replacement for PrimeQ, as PrimeQ is several orders of magnitude faster. Instead, use to certify the results of PrimeQ when needed.
  • The following options can be given:
"SmallPrime"1050lower bound for using the Atkin-Morain test
"Certificate"Falsewhether to print a certificate
"PollardPTest"Automaticwhether to use the Pollard method
"PollardRhoTest"Automaticwhether to use the Pollard method
"TrialDivisionLimit"Automaticnumber of primes to use in trial division
"PrimeQMessages"Falsewhether progress is to be monitored
EXAMPLESCLOSE ALL
Basic Examples   (1)
PrimeQ indicates that 1093 is prime:
gives the same result, but it has generated a certificate:
Needs["PrimalityProving`"]
PrimeQ indicates that 1093 is prime:
In[2]:=
Click for copyable input
Out[2]=
gives the same result, but it has generated a certificate:
In[3]:=
Click for copyable input
Out[3]=
Scope   (2)
works on arbitrarily large numbers:
automatically threads over lists:
Options   (2)
Use the option True to view the certificate directly:
A random prime:
Progress messages are printed with -> True:
Properties & Relations   (1)
Here is a random prime:
If has returned a result, use to print the certificate:
With True, repeats the Atkin-Morain primality test:
Possible Issues   (1)
A certificate cannot be generated for -1, 0 or 1:
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
Format:   HTML  |  CDF