鎖で定義されるイデアルを法としたゼロあり、このケースは標準形が存在しないケースに対応します。Diff:関数の呼び出し結果に使用される表記を指定します。nonnegative:計算に使用されるメモリの制限をMB単位で指定します。デフォルトはゼロです(メモリアウトは発生しません)。よって定義される微分イデアルを法とする有理微分分数の代数的逆を計算することも可能であることを示しています。オプションを説明しています。