THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

New to Mathematica? Find your learning path »

Mathematica > Mathematics and Algorithms > Formula Manipulation > Assumptions and Domains > Assumptions >

BUILT-IN MATHEMATICA SYMBOL

Tutorials »|See Also »|More About »

Assumptions

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

MORE INFORMATION

The typical default setting is $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.

Out[1]=

Out[2]=

Out[3]=

Out[4]=

Out[5]=

Out[6]=

Out[7]=

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: