あ、>>658でわかったかもしれん
もしかして平方行列は2次正方行列のこと？
で、対角化行列は対角化する行列(PAP(^-1)=diagonalとなるP)じゃなくてdiagonalそのもののこと？