All the computation were done by PII 400(FreeBSD 3.0).


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

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],[x21],[x22],[x23],[x24],[x25]].

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Following is the benchmarks of our calculations with two programs
(s_setsolver and setsolver) 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 400MH, FreeBSD 2.2.8).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

-------------------------------

261598 s-polynomials created.
694729 s-polynomials removed.
0 cs-polynomials created.
41375 vs-polynomials created.

578:59 (by s_setsolver)

This calculation needs a lot of memory.
13243 ysato       3   0   155M   155M ttyin  578:59  0.00%  0.00% s_setsolver
(The above is given by using a unix command "top |grep s_setsolver".)
-------------------------------
Memory was exeeded by the computation with setsolver.

