DocumentationMathematicaBuilt-in FunctionsAlgebraic ComputationCalculus
Assumptions is an option for functions such as Simplify, Refine and Integrate which specifies default assumptions to be made about symbolic quantities.
The 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.
See Section 3.5.8.
See also: Assuming, $Assumptions, GenerateConditions, Integrate, Refine, Limit.
New in Version 3; modified in 5.0.