Mathematica > Mathematics and Algorithms > Formula Manipulation > Assumptions and Domains > $Assumptions
BUILT-IN MATHEMATICA SYMBOL

$Assumptions

$Assumptions
is the default setting for the Assumptions option used in such functions as Simplify, Refine, and Integrate.

DetailsDetails

ExamplesExamplesopen allclose all

Basic Examples (1)Basic Examples (1)

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)Scope (3)

Properties & Relations (1)Properties & Relations (1)

Possible Issues (1)Possible Issues (1)

Top
New in 5
Send Feedback
Mathematica 9 is now available!

400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »

Try Now
Buy/Upgrade
New to Mathematica? Find your learning path »
Have a question? Ask support »