7.4.8 連立1次方程式

verifylss() は、“verified solution of linear system”, つまり連立1次方程式の精度保証した解を求める。

A=rand(5); b=ones(5,1);
verifylss(A,b)

A は区間行列でない行列、b は区間ベクトルでないベクト ルであるが、verifylss(A,b) の結果は区間ベクトルである。

行列やベクトルの成分が区間である場合は、 割り算演算子 \ で、 精度保証された解を求めることが出来る。

A=intval(rand(5)); b=intval(ones(5,1));
A\b

行列 A が疎行列である場合は、 疎行列用のソルバーが自動的に選択される。