DOCUMENTATION CENTER SEARCH
Mathematica
>
Assumptions and Domains
>
Built-in
Mathematica
Symbol
Using Assumptions
Tutorials »
|
Assuming
Block
Assumptions
See Also »
|
Assumptions and Domains
Global Computation Settings & Parameters
Session Customization
More About »
$Assumptions
$Assumptions
is the default setting for the
Assumptions
option used in such functions as
Simplify
,
Refine
and
Integrate
.
MORE INFORMATION
The value of
$Assumptions
can be modified using
Assuming
.
The initial setting for
$Assumptions
is
True
.
EXAMPLES
CLOSE ALL
Basic Examples
(1)
Set global assumptions:
In[1]:=
Out[1]=
The assumptions are now used by
Refine
and
Integrate
:
In[2]:=
Out[2]=
In[3]:=
Out[3]=
Locally add assumptions:
In[4]:=
Out[4]=
In[5]:=
Out[5]=
Locally change assumptions:
In[6]:=
Out[6]=
Remove the global assumptions:
In[7]:=
Out[7]=
Scope
(3)
Properties & Relations
(2)
Possible Issues
(1)
SEE ALSO
Assuming
Block
Assumptions
TUTORIALS
Using Assumptions
MORE ABOUT
Assumptions and Domains
Global Computation Settings & Parameters
Session Customization
New in 5
© 2008 Wolfram Research, Inc.
EXAMPLES
Basic Examples 
Scope 