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