Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > Mathematics and Algorithms > Formula Manipulation > Assumptions and Domains >
Built-in Mathematica SymbolTutorials »|See Also »|More About »

Primes

Primes
represents the domain of prime numbers, as in xElementPrimes.
  • xElementPrimes evaluates only if x is a numeric quantity.
  • Simplify[exprElementPrimes] can be used to try to determine whether an expression corresponds to a prime number.
  • The domain of primes is taken to be a subset of the domain of integers.
EXAMPLESCLOSE ALL
Basic Examples   (3)
The number 2^(107)-1 is a prime:
Fermat's little theorem:
Find primes satisfying an inequality:
The number 2^(107)-1 is a prime:
In[1]:=
Click for copyable input
Out[1]=
 
Fermat's little theorem:
In[1]:=
Click for copyable input
Out[1]=
 
Find primes satisfying an inequality:
In[1]:=
Click for copyable input
Out[1]=
Scope   (4)
Test domain membership of a numeric expression:
Make domain membership assumptions:
Specify the default domain for Reduce and FindInstance:
TraditionalForm formatting:
Applications   (2)
Wilson's theorem [more info]:
A list of twin primes:
Check:
Properties & Relations   (3)
Simplifications involving prime numbers:
Primes represents the set of positive integers that are prime:
PrimeQ gives True if an integer, positive or negative, is prime:
PrimeQ returns True for explicit numeric primes and False otherwise:
Element remains unevaluated when it cannot decide whether an expression is a prime:
New in 4
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team