groebner basis {y-x*(x-1), z-x^2*(x-1)}