This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.

# Assuming

 Assumingevaluates 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:
 Out[1]=

Specify the same assumptions for several Refine calls:
 Out[1]=
 Scope   (3)
Specify assumptions for simplifiers:
Specify assumptions for Integrate and in integral transforms:
Specify assumptions for Limit and Series:
 Applications   (1)
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