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.

Details

  • 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 {a1,a2,} to a1&&a2&&.

Examples

open allclose all

Basic Examples  (2)

Give the same assumptions to Refine and Integrate:

In[1]:=
Click for copyable input
Out[1]=

Specify the same assumptions for several Refine calls:

In[1]:=
Click for copyable input
Out[1]=

Scope  (3)

Applications  (1)

Properties & Relations  (5)

Possible Issues  (1)

See Also

Refine  Reduce  Simplify  Assumptions  $Assumptions  Block  Module

Tutorials

Introduced in 2003
(5.0)