行列が不定符号でも(から生じる)置換行列 "p" を用いてなる形に分解することができる(ただし、"t" は対称三重対角行列である)。