右辺は、級数が依存する任意定数および(または)関数を提供します。右辺はまた、他に対して代数的である定数の値を提供します。このアルゴリズムは次のように続行します。–まず、一般的な合計を計算しますが、このとき各導関数はそれぞれの標準形に置き換えられます。次に、以下の規則に従って、いくつかの代入が実行されます。評価されないままです。いずれかを使用して実行されます(下のオプションの項目を参照してください)。最大の次数を有する等式が選択されます。その後、代入は上記と同様に実行されます。最後に、結果として得られる式が展開点で評価されます。展開点における導関数に起因する値は自由に選択することはできません。式系を満たす必要があります。オプションを使用して無視することもできます。例の項目を参照してください。式系の解である場合、返されるべき級数は微分イデアルの打ち切られた解です。満たさない場合、返されるべき級数は微分イデアルの打ち切られた解ではありません。返されるべき級数は、微分イデアルの打ち切られた解であることも、そうでないこともあります。打ち切られた解である場合、一意である必要はありません。パッケージの一部です。形式を使用して呼び出すことができます。形式を使用して直接呼び出すことも可能です。個以上含む可能性があります。テストを制限できます(上記参照)。しているかの確認のみを行ないます。–inequations:不等式は無視されます。しているかの確認のみを行ないます。–all:等式および不等式が無視されます。n:このオプションは級数展開の打ち切り次数を指定します。Diff>:関数の呼び出し結果に使用される表記を指定します。