Qは有理数体
2変数多項式環Q[x,y]にx>yの辞書式順序を入れる

g_1=y^5+2y^4+2Y^3-4y^2
g_2=xy+(1/2)y^3+y^2
g_3=x^2+x-(1/2)y^3
これら3つは被約グレブナー基底である。これらで生成
されるイデアルIに対し、剰余環Q[x,y]/Iの代表元を決定し、
Q上のベクトル空間としての次元を求めよ。

わかりません・・・どなたか詳しく教えてください