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]:=

f = DifferentialRootReduce[AiryAi[x^2] Sin[x], x]

Out[1]=

In[2]:=

First[Head[f]][Function[x, AiryAi[x^2] Sin[x]], x]

Out[2]=

In[3]:=

First[Head[f]][Function[x, AiryAi[x^2] Sin[x]], x];

FullSimplify[%]

Out[3]=