New in Wolfram Mathematica 7: Differential & Difference Roots  previous | next 
Reduce Special Functions to Differential Root Objects
Reduce combinations of holonomic functions to DifferentialRoot objects and show that the function satisfies its differential equation and initial value equations.
In[1]:=

Click for copyable input
f = DifferentialRootReduce[AiryAi[x^2] Sin[x], x]
Out[1]=



In[2]:=

Click for copyable input
First[Head[f]][Function[x, AiryAi[x^2] Sin[x]], x]
Out[2]=



In[3]:=

Click for copyable input
First[Head[f]][Function[x, AiryAi[x^2] Sin[x]], x];

FullSimplify[%]
Out[3]=