4
x y z t

x^31 - x^6 - x - y;
x^8 - z;
x^10 - t;;

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