groebner basis of {x^2 - y, y^2 - x} over Q lex order x>y