3
x y z 

x^2 y z + x y^2 z + x y z^2 + x y z + x y + x z + y z;
x^2 y^2 z + x y^2 z^2 + x^2 y z + x y z + y z + x + z;
x^2 y^2 z^2 + x^2 y^2 z + x y^2 z + x y z + x z + z + 1;;

/* Example by Lazard.
** Found in "Experimenting the Grobner basis algorithm with the AIPI system"
**  by Carlo Traverso and Leombattista Donati.
** Proceedings of ISSAC 89.
*/
