Bergman 0.9,  4-Jul-96
1 lisp> 1 lisp> *** Garbage collection starting
*** GC 1: 20-Jul-96 12:01:50 (~ 136 ms cpu time, gc : 37 %)
*** time 51 ms, 15399 occupied, 1297 recovered, 1684601 free
*** GC 2: 20-Jul-96 12:01:50 (~ 170 ms cpu time, gc : 50 %)
*** time 34 ms, 15399 occupied, 0 recovered, 1684601 free
*** Heap space has been enlarged by 1400000 items
*** GC 2: 20-Jul-96 12:01:50 (~ 170 ms cpu time, gc : 50 %)
*** time 34 ms, 15405 occupied, 0 recovered, 3084595 free
3100000
2 lisp> NIL
3 lisp> NIL
*** (G!e!tP!r!e!d!cM!o!d): base 3267670, length 16 bytes
T
5 lisp> NIL
NIL
6 lisp> NIL
NIL
NIL
NIL
NIL
11 lisp> NIL
12 lisp> 7
13 lisp> 0
0
0
16 lisp> NIL
17 lisp> 17 lisp> 17 lisp> *** String continued over end-of-line
17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> *** Function `DEGREEENDDISPLAY' has been redefined
DEGREEENDDISPLAY
18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> *** String continued over end-of-line
18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 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
19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 0
20 lisp> ((0 . 1) (1 . 12) (2 . 63) (3 . 186) (4 . 327) (5 . 334) (6 . 179) (7 . 40) (8
 . 3) (DEFAULT . 0))
21 lisp> 334
22 lisp> NIL
23 lisp> NIL
24 lisp> 24 lisp> ((1) (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2))
25 lisp> 334
26 lisp> 
  Finished degree 1
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 3: 20-Jul-96 12:01:59 (~ 8347 ms cpu time, gc : 3 %)
*** time 187 ms, 173099 occupied, 488418 recovered, 2926901 free
 Time: 8347
 Denominator degree: 12
 Numerator: ((0 . 1))
 Current Hilbert function value: 12
 Next Hilbert function value: 78
 Next Hilbert function limitation: 63
 Lengths of SPairs member lists:
  NIL
Number of S-polynomial reductions at this degree: 0

  Finished degree 2
 Number of new Groebner basis elements: 15
*** Garbage collection starting
*** GC 4: 20-Jul-96 12:01:59 (~ 8551 ms cpu time, gc : 5 %)
*** time 204 ms, 172653 occupied, 2510 recovered, 2927347 free
 Time: 8551
 Denominator degree: 6
 Numerator: ((4 . -3) (3 . -6) (2 . 6) (1 . 6) (0 . 1))
 Current Hilbert function value: 63
 Next Hilbert function value: 212
 Next Hilbert function limitation: 186
 Lengths of SPairs member lists:
  (26)
Number of S-polynomial reductions at this degree: 0

  Finished degree 3
 Number of new Groebner basis elements: 26
*** Garbage collection starting
*** GC 5: 20-Jul-96 12:02:00 (~ 8891 ms cpu time, gc : 8 %)
*** time 238 ms, 191249 occupied, 15026 recovered, 2908751 free
 Time: 8908
 Denominator degree: 5
 Numerator: ((4 . 1) (3 . -19) (2 . 13) (1 . 7) (0 . 1))
 Current Hilbert function value: 186
 Next Hilbert function value: 416
 Next Hilbert function limitation: 327
 Lengths of SPairs member lists:
  (133 87)
Number of S-polynomial reductions at this degree: 28

  Finished degree 4
 Number of new Groebner basis elements: 89
*** Garbage collection starting
*** GC 6: 20-Jul-96 12:02:21 (~ 29342 ms cpu time, gc : 3 %)
*** time 459 ms, 406045 occupied, 163488 recovered, 2693955 free
 Time: 29546
 Denominator degree: 3
 Numerator: ((4 . -54) (3 . 32) (2 . 30) (1 . 9) (0 . 1))
 Current Hilbert function value: 327
 Next Hilbert function value: 486
 Next Hilbert function limitation: 334
 Lengths of SPairs member lists:
  (553 714 520)
Number of S-polynomial reductions at this degree: 127

  Finished degree 5
 Number of new Groebner basis elements: 152
*** Garbage collection starting
*** GC 7: 20-Jul-96 12:09:35 (~ 456756 ms cpu time, gc : 0 %)
*** time 1054 ms, 920237 occupied, 579126 recovered, 2179763 free
 Time: 457130
 Denominator degree: 2
 Numerator: ((6 . -2) (5 . -134) (4 . 18) (3 . 72) (2 . 40) (1 . 10) (0 . 1))
 Current Hilbert function value: 334
 Next Hilbert function value: 339
 Next Hilbert function limitation: 179
 Lengths of SPairs member lists:
  (1499 2142 2209 578)
Number of S-polynomial reductions at this degree: 153

  Finished degree 6
 Number of new Groebner basis elements: 160
*** Garbage collection starting
*** GC 8: 20-Jul-96 12:25:53 (~ 1420928 ms cpu time, gc : 0 %)
*** time 1717 ms, 1544959 occupied, 1162028 recovered, 1555041 free
 Time: 1422067
 Denominator degree: 1
 Numerator: ((6 . -155) (5 . 7) (4 . 141) (3 . 123) (2 . 51) (1 . 11) (0 . 1))
 Current Hilbert function value: 179
 Next Hilbert function value: 179
 Next Hilbert function limitation: 40
 Lengths of SPairs member lists:
  (3042 4234 3872 2277 217)
Number of S-polynomial reductions at this degree: 160

  Finished degree 7
 Number of new Groebner basis elements: 139
*** Garbage collection starting
*** GC 9: 20-Jul-96 12:29:49 (~ 1656140 ms cpu time, gc : 0 %)
*** time 2091 ms, 1897189 occupied, 876894 recovered, 1202811 free
 Time: 1657500
 Denominator degree: 1
 Numerator: ((7 . -139) (6 . -155) (5 . 7) (4 . 141) (3 . 123) (2 . 51) (1 . 11)
(0 . 1))
 Current Hilbert function value: 40
 Next Hilbert function value: 40
 Next Hilbert function limitation: 3
 Lengths of SPairs member lists:
  (4988 5455 4914 2282 154)
Number of S-polynomial reductions at this degree: 139

  Finished degree 8
 Number of new Groebner basis elements: 37
*** Garbage collection starting
*** GC 10: 20-Jul-96 12:29:56 (~ 1663144 ms cpu time, gc : 0 %)
*** time 1904 ms, 1749429 occupied, 801410 recovered, 1350571 free
 Time: 1664538
 Denominator degree: 1
 Numerator: ((8 . -37) (7 . -139) (6 . -155) (5 . 7) (4 . 141) (3 . 123) (2 . 51
) (1 . 11) (0 . 1))
 Current Hilbert function value: 3
 Next Hilbert function value: 3
 Next Hilbert function limitation: 0
 Lengths of SPairs member lists:
  (5681 5534 3390 965 46)
Number of S-polynomial reductions at this degree: 37

  Finished degree 9
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 11: 20-Jul-96 12:29:59 (~ 1666306 ms cpu time, gc : 0 %)
*** time 1462 ms, 1376715 occupied, 874872 recovered, 1723285 free
 Time: 1667700
 Denominator degree: 0
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Next Hilbert function value: 0
 Next Hilbert function limitation: 0
 Lengths of SPairs member lists:
  (5555 3481 1160 205 6)
Number of S-polynomial reductions at this degree: 3

  Finished degree 10
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 12: 20-Jul-96 12:30:01 (~ 1668924 ms cpu time, gc : 0 %)
*** time 1071 ms, 995843 occupied, 856434 recovered, 2104157 free
 Time: 1668941
 Denominator degree: 0
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Next Hilbert function value: 0
 Next Hilbert function limitation: 0
 Lengths of SPairs member lists:
  (3481 1160 205 6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 11
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 13: 20-Jul-96 12:30:02 (~ 1669859 ms cpu time, gc : 0 %)
*** time 850 ms, 766299 occupied, 229618 recovered, 2333701 free
 Time: 1669859
 Denominator degree: 0
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Next Hilbert function value: 0
 Next Hilbert function limitation: 0
 Lengths of SPairs member lists:
  (1160 205 6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 12
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 14: 20-Jul-96 12:30:03 (~ 1670658 ms cpu time, gc : 0 %)
*** time 782 ms, 692959 occupied, 73412 recovered, 2407041 free
 Time: 1670658
 Denominator degree: 0
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Next Hilbert function value: 0
 Next Hilbert function limitation: 0
 Lengths of SPairs member lists:
  (205 6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 13
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 15: 20-Jul-96 12:30:04 (~ 1671440 ms cpu time, gc : 0 %)
*** time 765 ms, 680191 occupied, 12838 recovered, 2419809 free
 Time: 1671440
 Denominator degree: 0
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Next Hilbert function value: 0
 Next Hilbert function limitation: 0
 Lengths of SPairs member lists:
  (6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 14
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 16: 20-Jul-96 12:30:05 (~ 1672188 ms cpu time, gc : 0 %)
*** time 748 ms, 679783 occupied, 476 recovered, 2420217 free
 Time: 1672188
 Denominator degree: 0
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Next Hilbert function value: 0
 Next Hilbert function limitation: 0
 Lengths of SPairs member lists:
  NIL
Number of S-polynomial reductions at this degree: 0
D!o!n!e
27 lisp> 0
0
623
1
14
32 lisp> 0
0
0
((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (1 . 12) (0
 . 1))
36 lisp> NIL
37 lisp> 66759
38 lisp> Backtrace, including interpreter functions, from top of stack:
INTERPBACKTRACE STANDARDLISP 
NIL
39 lisp> 
Quitting
