Q[x,y] {x^2+y-1, x+y^2-1}