Assumptions

Assumptions

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

Details

  • The typical 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.
  • 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.

Examples

open allclose all

Basic Examples  (1)

Refine:

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

Simplify:

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

FunctionExpand:

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

Integrate:

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

FourierTransform:

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

Limit:

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

Series:

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

Properties & Relations  (3)

See Also

Assuming  $Assumptions  GenerateConditions  VerifyConvergence  Integrate  DSolve  Refine  Limit

Tutorials

Introduced in 1996
(3.0)
| Updated in 2003
(5.0)