繰り返される無限小変換の極限として回転行列を構築する:
差分方程式

の定係数系を解く:
これは,基本解

を計算する:
これが,方程式と初期条件を満たすことを示す:
完全セットの固有ベクトルを持たない行列について行列指数を求める:
各項のベキ級数として指数を計算する:
入力行列と大きさ,精度,データタイプが一致する疎な恒等行列を得る:
厳密値を持つ疎な恒等行列:
機械数値を持つ疎な恒等行列:
疎な正定値行列の最小固有値についての逆ベキ再帰:

の誤差をチェックする:
最大固有値にシフトされた逆ベキ再帰:

の誤差をチェックする:
行列多項式を評価する簡単な方法:
固有多項式を評価する: