https://123deta.com/document/ydj7xeey-行列消去多項式候用い固有ベクトル計算III数式処理その周辺分野.html