他の例: PolyGamma

導関数である．

In[1]:=

Out[1]=

積分である．

In[2]:=

Out[2]=

PolyGammaはこれを定義する恒等式を満たす．

In[3]:=

Out[3]=

簡約する．

In[4]:=

Out[4]=

FullSimplifyを使うこともできる．

In[5]:=

Out[5]=

これは別の簡約方法である．

In[6]:=

In[7]:=

Out[7]=

In[8]:=