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

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]].


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

-------------------------------
84431 s-polynomials created.
137228 s-polynomials removed.
0 cs-polynomials created.
20093 vs-polynomials created.

16:39 (by s_setsolver)
-------------------------------

24086  p1  S+     1:37.02 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24087  p1  S+     1:26.98 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24088  p1  S+     2:54.95 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24089  p1  S+     0:46.32 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24090  p1  S+     2:12.75 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24091  p1  S+     0:50.97 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24092  p1  S+     0:47.89 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24093  p1  S+     0:51.53 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24094  p1  S+     0:47.49 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24095  p1  S+     1:40.30 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24096  p1  S+     1:39.86 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24097  p1  S+     0:50.57 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24098  p1  S+     0:56.79 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24099  p1  S+     1:54.64 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24100  p1  S+     1:23.58 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24101  p1  S+     0:40.81 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24102  p1  S+     1:39.52 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24103  p1  S+     1:07.37 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24104  p1  S+     0:49.54 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24105  p1  S+     0:50.77 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24106  p1  S+     0:54.81 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24107  p1  S+     0:10.34 /home/ysato/itaku98/p_setsolver -=parent_tid=262159 --
24085  p3  S+     0:03.63 /home/ysato/itaku98/p_setsolver -p 21

24052  p1  S+     1:03.49 /home/ysato/pvm3/lib/FREEBSD/pvmd3

(by p_setsolver -p 21) See benchmark1 for the meening the above lines.

-------------------------------
55196 s-polynomials created.
95342 s-polynomials removed.
4053 cs-polynomials created.
11915 vs-polynomials created.

114:52 (by setsolver)
-------------------------------
