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

Documentation / Mathematica / Built-in Functions / Algebraic Computation / Formula Manipulation /

Further Examples: $Assumptions

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]:=