5
u4 u0 u3 u2 u1

u0^2 - u0 + 2 u1^2 + 2 u2^2 + 2 u3^2 + 2 u4^2;
2 u0 u1 + 2 u1 u2 + 2 u2 u3 + 2 u3 u4 - u1;
2 u0 u2 + u1^2 + 2 u1 u3 + 2 u2 u4 - u2;
2 u0 u3 + 2 u1 u2 + 2 u1 u4 - u3;
u0 + 2 u1 + 2 u2 + 2 u3 + 2 u4 - 1;;

/* Katsura, Laurent series case 4, 18 February 1985
** Found in "Some examples for Solving Systems of Algebraic Equations
** by Calculating Grobner Bases", by Boege, Gebauer and Kredel.
**   J. of Symbolic Computation (1986) 1,83-98.
*/
