Wolfram Language & System 10.0 (2014)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)


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.


  • 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 .
Introduced in 2003