連立1次方程式の精度保証つき計算

実装した簡易ベクトル・行列演算ライブラリ、matrixvector.c を使って、 連立1次方程式を精度保証つきで計算するプログラム accuracy.c を実装した。 理論については適当な文献参照のこと、ということで逃げて、メソッドに ついての簡単な説明にとどめる。ちなみに、ノルムは全て無限大ノルムで 実装した。