This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

$Assumptions

$Assumptions
is the default setting for the Assumptions option used in such functions as Simplify, Refine, and Integrate.
Set global assumptions:
The assumptions are now used by Refine and Integrate:
Locally add assumptions:
Locally change assumptions:
Remove the global assumptions:
Set global assumptions:
In[1]:=
Click for copyable input
Out[1]=
The assumptions are now used by Refine and Integrate:
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
Locally add assumptions:
In[4]:=
Click for copyable input
Out[4]=
In[5]:=
Click for copyable input
Out[5]=
Locally change assumptions:
In[6]:=
Click for copyable input
Out[6]=
Remove the global assumptions:
In[7]:=
Click for copyable input
Out[7]=
Specify assumptions for simplifiers:
Specify assumptions for Integrate and in integral transforms:
Specify assumptions for Limit and Series:
Assuming locally adds assumptions to $Assumptions:
When Assumptions option is set directly, assumptions given with $Assumptions are not used:
New in 5