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