groebner basis[{x^2+y^2-1, 2 x + 2 y z}, {y, z, x}]