二変数多項式環Ｃ[x,y]において
イデアル(y-x^2,y)が(x^2,y)に等しいという程度のことは何とか導けましたが
イデアル(y,y-x^3-3x^2-2x)を簡単にしたいんですが分かりません。
(x,y)に等しくなるような気がしますが、確信が持てません。
誰か教えてください。