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.
- x∈Reals 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.
Examplesopen allclose all
Basic Examples (1)
Properties & Relations (3)
$Assumptions is the default value of Assumptions for most functions that have the option:
Assuming locally sets the value of $Assumptions:
Block can also be used to locally set the value of $Assumptions:
Here the assumptions from Assuming are not used inside Block:
Assumptions from nested Assuming are combined:
Wolfram Research (1996), Assumptions, Wolfram Language function, https://reference.wolfram.com/language/ref/Assumptions.html (updated 2003).
Wolfram Language. 1996. "Assumptions." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2003. https://reference.wolfram.com/language/ref/Assumptions.html.
Wolfram Language. (1996). Assumptions. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Assumptions.html