2
u0 u1

u0^2 - u0 + 2 u1^2 ;
u0 + 2 u1 - 1;;

/* Katsura, Laurent series case 1, 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.
*/











