Choose one or hit any other key to close the solver : 1.

Two types of canonical forms are available.

a. reduced groebner basis.
b. optimal groebner basis.

Which one do you like : b.

Session 1. started.

Input a list of polynomials.

[x1*x3+x4*x1+x11*x13+[a,b]*x6*x10,
x2*x5+x4*x5+x6+x1+x4*x8+x10+x6*x10,
x4*x2+x3*x10+[d,i]*x11+x1+x5+x12,
x2*x4*x12+[e,g]*x3*x4+x1*x12+x12+x5*x10*x12+x11*x3,
x1*x3+x5*x1+x2*x5+x11*x12+1+x11,
x6+x5*x9+[a,c]*x8*x10+x1*x12,
x1*x11+x12+x2*x8+[b,e]+x3*x11+x11*x12+x4*x6,
x2+x4*x7+[c,f]*x1*x12+x3+x6*x7+x12+x4+x1*x11,
x3+x3*x4+x1+x5*x6+[h,i]*x7,
x1+1+[g,i]*x4*x5+x9*x11+x2*x6+x11,
x3+x5+x7+x11+x13,
x3*x14+x1+x2,
x7*x2+[f,j]*x11+x2*x3+x11+x9+x13
].

Input a list of order type.

[[x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14]].


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Following is the benchmarks of our calculations with three programs for the
above input.
We give only the computation time and the last outputs concerning the number
of produced S-polynomials etc.
All the computations are done by a  DOS/V machine(Pentium II 450MH, FreeBSD 2.2.8).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

-------------------------------
3315 s-polynomials created.
1403 s-polynomials removed.
0 cs-polynomials created.
1454 vs-polynomials created.

0:21(0 munite and 21 seconds) (by s_setsolver)
-------------------------------
24058  p1  S+     0:04.87 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24059  p1  S+     0:03.06 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24060  p1  S+     0:04.81 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24061  p1  S+     0:02.00 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24062  p1  S+     0:02.20 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24063  p1  S+     0:01.72 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24064  p1  S+     0:03.37 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24065  p1  S+     0:03.19 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24066  p1  S+     0:03.03 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24067  p1  S+     0:01.82 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24068  p1  S+     0:02.15 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
24069  p1  S+     0:00.45 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --

(by p_setsolver -p 11) See benchmark1 for the meening the above lines.
-------------------------------
2887 s-polynomials created.
1585 s-polynomials removed.
495 cs-polynomials created.
961 vs-polynomials created.

1:49 (by setsolver)
-------------------------------












