PRODUCTS
Mathematica
Mathematica Home Edition
Mathematica for Students
Mathematica for the Classroom
grid
Mathematica
Wolfram Lightweight Grid Manager
web
Mathematica
Mathematica Player
(free download)
Mathematica Player Pro
Wolfram
Workbench
Mathematica
Applications
SOLUTIONS
Industry
Chemical Engineering
Image Processing
Mechanical Engineering
Petroleum Engineering
Environmental Sciences
Bioinformatics
Data Analysis and Mining
Financial Risk Management
Statistics
Software Engineering
More...
Education
Higher Education
Precollege Education
Students
Technology
Interactive Deployment
High-Performance and Parallel Computing (HPC)
See Also: Technology Guide
PURCHASE
Online Store
Other Ways to Buy
Volume & Site Licensing
Contact Sales
Software
Service
Upgrades
Training
Books
FOR USERS
All User Resources
Product Registration
Technical Support
Customer Service
Developer Support
Does My Site Have a License?
Free Seminars
Learning Center
Training
Custom Group Seminars
Documentation & Examples
Tutorial Screencasts
Video Gallery
Demonstrations Project
Education Portal
Student Resources
COMPANY
About Wolfram Research
News & Events
Wolfram Blog
Employment Opportunities
History of
Mathematica
Stephen Wolfram's Home Page
Contact Us
OUR SITES
Wolfram|Alpha
Demonstrations Project
Wolfram Blog
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Library Archive
Wolfram
Tones
Wolfram Science
Stephen Wolfram
DOCUMENTATION CENTER SEARCH
Mathematica
>
Mathematics and Algorithms
>
Formula Manipulation
>
Assumptions and Domains
>
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
[
expr
Primes]
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:
In[1]:=
Out[1]=
Fermat's little theorem:
In[1]:=
Out[1]=
Find primes satisfying an inequality:
In[1]:=
Out[1]=
Scope
(4)
Applications
(2)
Properties & Relations
(3)
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