3
z y x

/* Example 6.15 of Buchberger (1985) */

2 z y^2 + 4 x + 1;

2 z x^2 - 2 y^2 - x;

-4 z + 4 y^2 x + 16 x^2 + 1;;
