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+x5*x18+x4,
x2*x5+x4*x5+x6*x8+x1+[c,k]*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*x15+x5*x10*x12+x11*x3,
x1*x3+x5*x1+[j,l]*x2*x5+x11*x12+1+x11+x16,
x6*x17+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+[k,m]*x1+x5*x6+[h,i]*x7,
x1+1+[g,i]*x4*x5+x9*x11+x2*x6+x11,
x3+x5+x7+x11+[l,o]*x13+x18*x3,
x3*x14+[f,n]*x1+x2+x11+x15+x19,
x7*x2+[f,j]*x11+x2*x3+x11+x9+x13,
x3*x7+x8+[d,o]*x13+x2+x20*x3+1,
x4*x9+x7+[b,l]*x8*x19+x20,
[a,e,n]*x7*x9+x3*x5+x6+x18+x19
].

Input a list of order type.

[[x1],[x2],[x3],[x4],[x5],[x6],[x7],[x8],[x9],[x10],[x11],[x12],[x13],[x14],[x15],[x16],[x17],[x18],[x19],[x20]].


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
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).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

-------------------------------
43033 s-polynomials created.
67609 s-polynomials removed.
0 cs-polynomials created.
11247 vs-polynomials created.

9:10 (by s_setolver)
-------------------------------
 5842  p3  S+     0:31.38 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5843  p3  S+     0:37.71 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5844  p3  S+     0:28.00 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5845  p3  S+     0:37.65 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5846  p3  S+     0:40.62 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5847  p3  S+     0:20.08 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5848  p3  S+     0:24.36 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5849  p3  S+     0:51.50 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5850  p3  S+     0:17.61 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5851  p3  S+     0:40.83 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5852  p3  S+     1:03.34 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5853  p3  S+     0:49.85 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5854  p3  S+     0:41.69 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5855  p3  S+     0:18.75 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5856  p3  S+     0:39.00 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5857  p3  S+     0:39.27 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --
 5858  p3  S+     0:02.70 /home/ysato/itaku98/p_setsolver -=parent_tid=262146 --

(by p_setsolver -p 16) See benchmark1 for the meening the above lines.
-------------------------------
25109 s-polynomials created.
42257 s-polynomials removed.
2126 cs-polynomials created.
6204 vs-polynomials created.

33:11 (by setsolver)
-------------------------------

