$Assumptions
 Usage
Notes
 Further Examples
It is not true in general that  .
In[1]:=
|
Out[1]=
|
In[2]:=
|
Out[2]=
|
This stores the value of $Assumptions in old$Assumptions so that the present value of $Assumptions may be restored at the end of this set of examples.
In[3]:=
|
This assumption is needed in order to simplify  .
In[4]:=
|
This simplification is done assuming $Assumptions.
In[5]:=
|
Out[5]=
|
This restores the old value of $Assumptions and then clears the symbol old$Assumptions.
In[6]:=
|
In[7]:=
|
| 
