むしろ最小多項式を変形して簡単な形にするほうに興味がある
グレブナー基底とかやればいいのだろうか