8
c2 a21 a31 c3 a32 b1 b2 b3

/* a31 b1 a21 a32 b2 b3 c3 c2 :  order given by BGK heuristics. (4sec) */

c2 - a21;
c3 - a31 - a32;
b1 + b2 + b3 - 1;
2 b2 c2 + 2 b3 c3 - 1;
3 b2 c2^2 + 3 b3 c3^2 - 1;
6 b3 a32 c2 - 1;;

/* Hairer, Runge-Kutta 1, 05.11.83
** 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.
*/











