FunctionExpand
 Usage
Notes
 Further Examples
Here is an elementary simplification.
In[1]:=
|
Out[1]=
|
The incomplete gamma function with an integer as the first argument is expressible in terms of exponentials.
In[2]:=
|
Out[2]=
|
The next few examples yield results that still contain special functions, but are considered simpler by Mathematica because the arguments of the resulting special functions are simpler.
In[3]:=
|
Out[3]=
|
In[4]:=
|
Out[4]=
|
FunctionExpand acts like PowerExpand when appropriate.
In[5]:=
|
Out[5]=
|
Here FunctionExpand refrains from distributing the exponent, since  and  are not always equal.
In[6]:=
|
Out[6]=
|
In[7]:=
|
Out[7]=
|
In[8]:=
|
Out[8]=
|
A common use of FunctionExpand is to simplify trigonometric expressions involving integer or half-integer multiples of the arc.
In[9]:=
|
Out[9]=
|
In[10]:=
|
Out[10]=
|
Many functions can be expressed in terms of gamma functions.
In[11]:=
|
Out[11]=
|
This can be convenient in checking identities.
In[12]:=
|
Out[12]=
|
Using Assumptions If a, b, c are integers, you can pull out a common factor from GCD.
In[13]:=
|
Out[13]=
|
This assumes n is an integer greater than  .
In[14]:=
|
Out[14]=
|
This assumes p and q are distinct primes and m and n are positive integers.
In[15]:=
|
Out[15]=
|
Here are some more examples using assumptions.
In[16]:=
|
Out[16]=
|
In[17]:=
|
Out[17]=
|
In[18]:=
|
Out[18]=
|
| 
