離散微積分で形式的演算子を適用する
微分，総和，Z変換のような離散微積分操作に対して，形式的操作が簡単に適用できる．
DifferenceDeltaがSumの逆であることを確かめる．
| In[1]:= |  X |
| Out[1]= |  |
| In[2]:= |  X |
| Out[2]= |  |
DiscreteRatioがProductの逆であることを確かめる．
| In[3]:= |  X |
| Out[3]= |  |
| In[4]:= |  X |
| Out[4]= |  |
DifferenceDeltaを無限和に適用する．
| In[5]:= |  X |
| Out[5]= |  |
次は評価されるバージョンよりもはるかに速い．
| In[6]:= |  X |
| Out[6]= |  |
ZTransformの標準的な特性を適用する．
| In[7]:= |  X |
| Out[7]= |  |
| In[8]:= |  X |
| Out[8]= |  |
| In[9]:= |  X |
| Out[9]= |  |
