 |
BUILT-IN MATHEMATICA SYMBOL
Assuming
Assuming[assum, expr]
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.
Details
- Assuming affects the default assumptions for all functions that have an Assumptions option.
- 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[assum, expr] is effectively equivalent to Block[{$Assumptions=$Assumptions&&assum}, expr].
- Assuming converts lists of assumptions
to 
.
New in 5
