Wolfram Language & System 10.4 (2016)|Legacy Documentation

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


is an option for functions such as Simplify, Refine, and Integrate that specifies default assumptions to be made about symbolic quantities.


  • The typical default setting is Assumptions:>$Assumptions.
  • The assumptions can be equations, inequalities, or domain specifications, or lists or logical combinations of these.
  • Assuming modifies $Assumptions and so modifies the value of default settings for Assumptions options.
  • xReals can be used to specify that x should be treated as a real variable.
  • Quantities that appear algebraically in inequalities are always assumed to be real.
Introduced in 1996
| Updated in 2003