SEARCH MATHEMATICA 8 DOCUMENTATION

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

Mathematica > Assumptions and Domains >

Built-in Mathematica Symbol

Tutorials »|See Also »|More About »

Assuming

Assuming[assum, expr]
evaluates expr with assum appended to $Assumptions, so that assum is included in the default assumptions used by functions such as Refine, Simplify and Integrate.

MORE INFORMATION

Assuming affects the default assumptions for all functions that have an Assumptions option.

The assumptions can be equations, inequalities or domain specifications, or lists or logical combinations of these.

Assumptions from nested invocations of Assuming are combined.

Assuming[assum, expr] is effectively equivalent to Block[{$Assumptions=$Assumptions&&assum}, expr].

Assuming converts lists of assumptions {a₁, a₂, ...} to a₁&&a₂&&....

EXAMPLES

CLOSE ALL

Basic Examples (2)

Give the same assumptions to Refine and Integrate:

In[1]:=

Out[1]=

Specify the same assumptions for several Refine calls:

In[1]:=

Out[1]=

Scope (3)

Applications (1)

Properties & Relations (5)

Possible Issues (1)