PRODUCTS
Products Overview
Mathematica
Mathematica Student Edition
Mathematica Home Edition
Wolfram
CDF Player
(free download)
Computable Document Format (CDF)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Wolfram
SystemModeler
Wolfram
Finance Platform
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
Merchandise
SUPPORT
Support Overview
Mathematica
Documentation
Knowledge Base
Learning Center
Technical Services
Community & Forums
Training
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
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE
DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.
DOCUMENTATION CENTER SEARCH
New to
Mathematica
?
Find your learning path
»
Mathematica
>
Mathematics and Algorithms
>
Formula Manipulation
>
Assumptions and Domains
>
Reals
>
BUILT-IN MATHEMATICA SYMBOL
Simplifying with Assumptions
Using Assumptions
Equations and Inequalities over Domains
Tutorials »
|
Element
Simplify
Real
Integers
Complexes
Algebraics
ComplexExpand
PowerExpand
See Also »
|
Assumptions and Domains
Formula Manipulation
Number Theory
Polynomial Systems
More About »
Reals
Reals
represents the domain of real numbers, as in
.
MORE INFORMATION
evaluates immediately only if
x
is a numeric quantity.
Simplify
can be used to try to determine whether an expression corresponds to a real number.
Within
Simplify
and similar functions, objects that satisfy inequalities are always assumed to be real.
Reals
is output in
TraditionalForm
as
.
EXAMPLES
CLOSE ALL
Basic Examples
(3)
is a real number:
If
is a real number, so is
:
Find real solutions of an equation:
is a real number:
In[1]:=
Out[1]=
If
is a real number, so is
:
In[1]:=
Out[1]=
Find real solutions of an equation:
In[1]:=
Out[1]=
Scope
(4)
Test domain membership of a numeric expression:
Make domain membership assumptions:
Specify the default domain over which a function should work:
TraditionalForm
formatting:
Properties & Relations
(3)
Reals
contains
Rationals
,
Integers
, and
Primes
:
Reals
is contained in
Complexes
:
Reals
neither contains nor is contained in
Algebraics
:
SEE ALSO
Element
Simplify
Real
Integers
Complexes
Algebraics
ComplexExpand
PowerExpand
TUTORIALS
Simplifying with Assumptions
Using Assumptions
Equations and Inequalities over Domains
MORE ABOUT
Assumptions and Domains
Formula Manipulation
Number Theory
Polynomial Systems
New in 4