Common Library  0.9.5
tadah_fussy::math_lib::solver::Verify< T > クラステンプレート

連立方程式を解いた結果が正しいかを検証する [詳解]

公開メンバ関数

 Verify (T threshold)
 一致判定のためのしきい値を指定して構築 [詳解]
 
template<class In1 , class In2 >
bool operator() (const SquareMatrix< T > &a, In1 b, In2 ans)
 連立方程式を解いた結果が正しいかを検証する [詳解]
 
template<class MATRIX1 , class MATRIX2 >
bool multiple (const SquareMatrix< T > &a, const MATRIX1 &b, const MATRIX2 &ans)
 複数の連立方程式に対して解いた結果が正しいかを一度に検証する [詳解]
 

詳解

template<class T>
class tadah_fussy::math_lib::solver::Verify< T >

連立方程式を解いた結果が正しいかを検証する

構築子と解体子

◆ Verify()

template<class T >
tadah_fussy::math_lib::solver::Verify< T >::Verify ( threshold)
inlineexplicit

一致判定のためのしきい値を指定して構築

引数
threshold一致判定のためのしきい値

関数詳解

◆ operator()()

template<typename T >
template<class In1 , class In2 >
bool tadah_fussy::math_lib::solver::Verify< T >::operator() ( const SquareMatrix< T > &  a,
In1  b,
In2  ans 
)

連立方程式を解いた結果が正しいかを検証する

求めた結果を連立方程式に代入し、左辺と右辺が一致するかを確認する。 全方程式について一致すれば true を返し、一つでも一致しない式があれば false を返す。

覚え書き
係数行列 a と右辺(解ベクトル) b、及び解いた結果 ans の大きさが全て等しいかチェックしていないことに注意
引数
a対象の連立方程式の係数行列
b対象の連立方程式の解ベクトルの先頭位置
ans連立方程式を解いた結果
戻り値
不一致と判定された場合は false を返す

◆ multiple()

template<class T >
template<class MATRIX1 , class MATRIX2 >
bool tadah_fussy::math_lib::solver::Verify< T >::multiple ( const SquareMatrix< T > &  a,
const MATRIX1 &  b,
const MATRIX2 &  ans 
)

複数の連立方程式に対して解いた結果が正しいかを一度に検証する

全ての連立方程式について一致すれば true を返し、一つでも一致しない連立方程式があれば false を返す。

  • 係数行列 a の列数と右辺(解行列) b または解いた結果 ans の行数が等しくない場合は例外 ExceptionNotEqualLength< SquareMatrix< T >::size_type > を投げる
  • 右辺(解行列)の列数と解いた結果の列数が等しくない場合は例外 ExceptionNotEqualLength< MATRIX1::size_type > を投げる
引数
a対象の連立方程式の係数行列
b対象の連立方程式の解行列
ans連立方程式を解いた結果(bと同じ大きさの行列)
戻り値
不一致と判定された場合は false を返す

このクラス詳解は次のファイルから抽出されました: