(1) C[x,y,t] のイデアル (x^3-t^2,y^4-t^2) と C[x,y] の共通部分が (x^3-y^4) であることをグレブナー基底を使って確かめる
(2) x^3y + ... という対称式を基本対称式の多項式として表す ということを行っています。