Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > Mathematics and Algorithms > Formula Manipulation > Assumptions and Domains >
Built-in Mathematica SymbolTutorials »|See Also »|More About »

$Assumptions

$Assumptions
is the default setting for the Assumptions option used in such functions as Simplify, Refine and Integrate.
EXAMPLESCLOSE ALL
Basic Examples   (1)
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]=
Scope   (3)
Specify assumptions for simplifiers:
Specify assumptions for Integrate and in integral transforms:
Specify assumptions for Limit and Series:
Properties & Relations   (1)
Assuming locally adds assumptions to $Assumptions:
Possible Issues   (1)
When Assumptions option is set directly, assumptions given with $Assumptions are not used:
New in 5
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team