Note_1

近似を潔しとしない人はMATHという制約式をMATHという形の式の一つで置き換えれば良い。ここにMATHであり、$ru<1$が仮定される。Higham [2002], Lemma 3.1 を参照。


Note_2

この場合に良く使われるのはガウス消去法の変形であるコレスキー法(Cholesky's method)である。