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