自動微分型tlist

自動微分型を

 tlist(['dif','dim','val','grad'],m,val,grad)

のタイプのtlistとする。valはスカラーでgradは $1 \times m$のmat型のtlist とする。自動微分型も演算子多重定義できる。

以上で、区間解析のための基本的な道具は揃った。次節では、これらの 準備の下に有限次元非線形方程式の精度保証付き数値計算法を示そう。