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

Assuming

Assuming
evaluates expr with assum appended to $Assumptions, so that assum is included in the default assumptions used by functions such as Refine, Simplify, and Integrate.
  • The assumptions can be equations, inequalities, or domain specifications, or lists or logical combinations of these.
  • Assumptions from nested invocations of Assuming are combined.
  • Assuming converts lists of assumptions to .
Give the same assumptions to Refine and Integrate:
Specify the same assumptions for several Refine calls:
Give the same assumptions to Refine and Integrate:
In[1]:=
Click for copyable input
Out[1]=
 
Specify the same assumptions for several Refine calls:
In[1]:=
Click for copyable input
Out[1]=
Specify assumptions for simplifiers:
Specify assumptions for Integrate and in integral transforms:
Specify assumptions for Limit and Series:
Write code that uses assumptions; find the number of real roots of :
Assuming locally sets the value of $Assumptions:
Assumptions from nested invocations of Assuming are combined:
Block can also be used to locally set the value of $Assumptions:
Here the assumptions from Assuming are not used inside Block:
This is equivalent to using nested Assuming:
Assuming affects functions using the Assumptions $Assumptions option setting:
For some functions assumptions can be given both as an argument and as an option value:
When Assumptions option is set directly, assumptions specified with Assuming are not used:
New in 5