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)

SEE ALSO

Refine Reduce Simplify Assumptions $Assumptions Block Module

TUTORIALS

Using Assumptions

MORE ABOUT

Assumptions and Domains

Formula Manipulation

Series Expansions

New in 5

Ask a question about this page | Suggest an improvement | Leave a message for the team