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