New in Wolfram Mathematica 7: Differential & Difference Roots  previous | next 
Compute Sophisticated Holonomic Integrals
The integral of a holonomic function is always holonomic.
In[1]:=

Click for copyable input
DifferentialRootReduce[Exp[1/(x^3 + 1)], x]
Out[1]=



In[2]:=

Click for copyable input
DifferentialRootReduce[Exp[1/(x^3 + 1)], x];

Integrate[%, x]
Out[2]=



In[3]:=

Click for copyable input
DifferentialRootReduce[Exp[1/(x^3 + 1)], x];

Integrate[%, x];

D[%, x] == Exp[1/(x^3 + 1)] // FullSimplify
Out[3]=