Q[x0,x1,x2]{
x2-x0*x1,
x0^2-x1}
