PRODUCTS
Products Overview
Mathematica
Mathematica for Students
Mathematica Home Edition
Wolfram
CDF Player
(free download)
Computable Document Format (CDF)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Mathematica
Add-Ons
Wolfram|Alpha Products
SOLUTIONS
Solutions Overview
Engineering
Aerospace Engineering & Defense
Chemical Engineering
Control Systems
Electrical Engineering
Image Processing
Industrial Engineering
Materials Science
Mechanical Engineering
Operations Research
Optics
Petroleum Engineering
Biotechnology & Medicine
Bioinformatics
Medical Imaging
Finance, Statistics & Business Analysis
Actuarial Sciences
Data Analysis & Mining
Econometrics
Economics
Financial Engineering & Mathematics
Financial Risk Management
Statistics
Software Engineering & Content Delivery
Authoring & Publishing
Interface Development
Software Engineering
Web Development
Science
Astronomy
Biological Sciences
Chemistry
Environmental Sciences
Geosciences
Social & Behavioral Sciences
Design, Arts & Entertainment
Game Design, Special Effects & Generative Art
Education
STEM Education Initiative
Higher Education
Community & Technical College Education
Primary & Secondary Education
Students
Technology
Computable Document Format (CDF)
High-Performance & Parallel Computing (HPC)
See Also: Technology Guide
PURCHASE
Online Store
Other Ways to Buy
Volume & Site Licensing
Contact Sales
Software
Service
Upgrades
Training
Books
SUPPORT
Support Overview
Knowledge Base
Learning Center
Community & Forums
Training & Free Seminars
Does My Site Have a License?
Wolfram User Portal
COMPANY
About Wolfram Research
News & Events
Wolfram Blog
Partnerships
Employment Opportunities
History of
Mathematica
Stephen Wolfram's Home Page
Contact Us
OUR SITES
All Sites
Wolfram|Alpha
Demonstrations Project
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
DOCUMENTATION CENTER SEARCH
New to
Mathematica
?
Find your learning path
»
Mathematica
>
Mathematics and Algorithms
>
Formula Manipulation
>
Assumptions and Domains
>
Primes
>
BUILT-IN MATHEMATICA SYMBOL
Simplifying with Assumptions
Using Assumptions
Tutorials »
|
Element
Simplify
PrimeQ
Prime
Integers
See Also »
|
Assumptions and Domains
Number Recognition
Number Theory
Prime Numbers
More About »
Primes
Primes
represents the domain of prime numbers, as in
x
Primes
.
MORE INFORMATION
x
Primes
evaluates only if
x
is a numeric quantity.
Simplify
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.
PrimeQ
[
expr
]
returns
False
unless
expr
explicitly has head
Integer
.
Primes
is output in
TraditionalForm
as
.
EXAMPLES
CLOSE ALL
Basic Examples
(3)
The number
is a prime:
Fermat's little theorem:
Find primes satisfying an inequality:
The number
is a prime:
In[1]:=
Out[1]=
Fermat's little theorem:
In[1]:=
Out[1]=
Find primes satisfying an inequality:
In[1]:=
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 :
A list of twin primes:
Check:
Properties & Relations
(3)
Primes
is contained in
Complexes
,
Reals
,
Algebraics
,
Rationals
, and
Integers
:
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:
SEE ALSO
Element
Simplify
PrimeQ
Prime
Integers
TUTORIALS
Simplifying with Assumptions
Using Assumptions
MORE ABOUT
Assumptions and Domains
Number Recognition
Number Theory
Prime Numbers
New in 4