
4: Entering LISP ... 
Bergman 0.9, 14-May-96
1 lisp> 16000000
2 lisp> nil
nil
4 lisp> *** (g!e!tp!r!e!d!cm!o!d): base 6321360, length 12 bytes
t
nil
nil
5 lisp> nil
nil
nil
nil
nil
10 lisp> nil
11 lisp> 7
12 lisp> 0
0
0
15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> *** Function `degreeenddisplay' has been redefined
degreeenddisplay
16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> *** Function `f!i!xe!n!dd!e!g!r!e!et!h!i!n!g!s' has been redefined
f!i!xe!n!dd!e!g!r!e!et!h!i!n!g!s
17 lisp> 17 lisp> t
18 lisp> ((6 . 0) (5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1) (default . 
t))
19 lisp> 168
20 lisp> 0
21 lisp> 21 lisp> 
  Finished degree 2
 Number of new Groebner basis elements: 15
*** Garbage collection starting
*** GC 3: 14-May-96 18:38:05 (~ 2159 ms cpu time, gc : 14 %)
*** time 119 ms, 98200 occupied, 281658 recovered, 15901800 free
 Time: 2159
 Denominator degree: 0
 Numerator: ((10 . 2) (9 . 21) (8 . 96) (7 . 253) (6 . 427) (5 . 483) (4 . 371)
(3 . 191) (2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 63
 Next Hilbert function value: 191
 Next Hilbert function limitation: 184
(For reference, GETHSERIESMINIMA yields:)
((6 . 0) (5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1) (default . 
t))
 Lengths of SPairs member lists:
  (8)
Number of S-polynomial reductions at this degree: 0

  Finished degree 3
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 4: 14-May-96 18:38:06 (~ 2771 ms cpu time, gc : 15 %)
*** time 119 ms, 118726 occupied, 7112 recovered, 15881274 free
 Time: 2788
 Denominator degree: 0
 Numerator: ((9 . 2) (8 . 24) (7 . 108) (6 . 257) (5 . 366) (4 . 327) (3 . 184)
(2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 184
 Next Hilbert function value: 327
 Next Hilbert function limitation: 300
(For reference, GETHSERIESMINIMA yields:)
((6 . 0) (5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1) (default . 
t))
 Lengths of SPairs member lists:
  (32 6)
Number of S-polynomial reductions at this degree: 7

  Finished degree 4
 Number of new Groebner basis elements: 27
*** Garbage collection starting
*** GC 5: 14-May-96 18:38:28 (~ 24956 ms cpu time, gc : 2 %)
*** time 204 ms, 206274 occupied, 202136 recovered, 15793726 free
 Time: 24973
 Denominator degree: 0
 Numerator: ((7 . 21) (6 . 120) (5 . 267) (4 . 300) (3 . 184) (2 . 63) (1 . 12)
(0 . 1))
 Current Hilbert function value: 300
 Next Hilbert function value: 267
 Next Hilbert function limitation: 168
(For reference, GETHSERIESMINIMA yields:)
((6 . 0) (5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1) (default . 
t))
 Lengths of SPairs member lists:
  (179 58 21)
Number of S-polynomial reductions at this degree: 36

  Finished degree 5
 Number of new Groebner basis elements: 99
*** Garbage collection starting
*** GC 6: 14-May-96 18:43:12 (~ 313225 ms cpu time, gc : 0 %)
*** time 408 ms, 448776 occupied, 1867582 recovered, 15551224 free
 Time: 313378
 Denominator degree: 0
 Numerator: ((5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 168
 Next Hilbert function value: 0
 Next Hilbert function limitation: 0
(For reference, GETHSERIESMINIMA yields:)
((6 . 0) (5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1) (default . 
t))
 Lengths of SPairs member lists:
  (757 234 122 23)
Number of S-polynomial reductions at this degree: 99
