maximaで行列の平方根(固有ベクトルが同じだがすべての固有値が元の行列の平方根になっているもの)を求める関数がなかったので調べながら作ってみた。matlabとかにはsqrtmという名前であるらしいのでとりあえず倣う。固有値が0の固有ベクトルの本数によって…