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

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.
  • 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 {a1, a2, ...} to a1&&a2&&....
New in 5