Bergman 0.9,  4-Jul-96
1 lisp> 1 lisp> *** Garbage collection starting
*** GC 1: 20-Jul-96 17:36:10 (~ 187 ms cpu time, gc : 27 %)
*** time 51 ms, 15399 occupied, 1297 recovered, 1684601 free
*** GC 2: 20-Jul-96 17:36:10 (~ 221 ms cpu time, gc : 38 %)
*** time 34 ms, 15399 occupied, 0 recovered, 1684601 free
*** Heap space has been enlarged by 14400000 items
*** GC 2: 20-Jul-96 17:36:10 (~ 221 ms cpu time, gc : 38 %)
*** time 34 ms, 15405 occupied, 0 recovered, 16084595 free
16100000
2 lisp> NIL
3 lisp> NIL
*** (G!e!tP!r!e!d!cM!o!d): base 3267670, length 16 bytes
T
13
6 lisp> NIL
NIL
7 lisp> NIL
NIL
NIL
NIL
NIL
12 lisp> NIL
13 lisp> 7
14 lisp> 0
0
0
17 lisp> NIL
18 lisp> 18 lisp> 18 lisp> *** String continued over end-of-line
18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> *** Function `DEGREEENDDISPLAY' has been redefined
DEGREEENDDISPLAY
19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> *** String continued over end-of-line
19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 lisp> 19 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
20 lisp> 20 lisp> 20 lisp> 20 lisp> 20 lisp> 20 lisp> 20 lisp> 20 lisp> 20 lisp> 0
21 lisp> ((0 . 1) (1 . 12) (2 . 66) (3 . 220) (4 . 495) (5 . 792) (6 . 924) (7 . 792) (8
 . 495) (9 . 220) (10 . 66) (11 . 12) (12 . 1) (DEFAULT . 0))
22 lisp> 792
23 lisp> NIL
24 lisp> NIL
25 lisp> 25 lisp> ((2 2 2 2 2 2 2 2 2 2 2 2))
26 lisp> 792
27 lisp> 
  Finished degree 2
 Number of new Groebner basis elements: 12
*** Garbage collection starting
*** GC 3: 20-Jul-96 17:36:23 (~ 8891 ms cpu time, gc : 3 %)
*** time 238 ms, 171909 occupied, 488780 recovered, 15928091 free
 Time: 8908
 Denominator degree: 7
 Numerator: ((6 . 1) (5 . 2) (4 . -3) (3 . -7) (2 . 3) (1 . 5) (0 . 1))
 Current Hilbert function value: 66
 Next Hilbert function value: 238
 Next Hilbert function limitation: 220
 Lengths of SPairs member lists:
  (19)
Number of S-polynomial reductions at this degree: 0

  Finished degree 3
 Number of new Groebner basis elements: 18
*** Garbage collection starting
*** GC 4: 20-Jul-96 17:36:23 (~ 9180 ms cpu time, gc : 5 %)
*** time 221 ms, 184841 occupied, 10028 recovered, 15915159 free
 Time: 9197
 Denominator degree: 6
 Numerator: ((5 . 5) (4 . -4) (3 . -16) (2 . 9) (1 . 6) (0 . 1))
 Current Hilbert function value: 220
 Next Hilbert function value: 551
 Next Hilbert function limitation: 495
 Lengths of SPairs member lists:
  (94 56)
Number of S-polynomial reductions at this degree: 18

  Finished degree 4
 Number of new Groebner basis elements: 56
*** Garbage collection starting
*** GC 5: 20-Jul-96 17:36:28 (~ 14382 ms cpu time, gc : 6 %)
*** time 357 ms, 325727 occupied, 228972 recovered, 15774273 free
 Time: 14586
 Denominator degree: 5
 Numerator: ((7 . -1) (6 . 1) (5 . 37) (4 . -60) (2 . 16) (1 . 7) (0 . 1))
 Current Hilbert function value: 495
 Next Hilbert function value: 913
 Next Hilbert function limitation: 792
 Lengths of SPairs member lists:
  (380 400 399)
Number of S-polynomial reductions at this degree: 103

  Finished degree 5
 Number of new Groebner basis elements: 121
*** Garbage collection starting
*** GC 6: 20-Jul-96 17:42:44 (~ 394536 ms cpu time, gc : 0 %)
*** time 1088 ms, 955527 occupied, 718510 recovered, 15144473 free
 Time: 394910
 Denominator degree: 4
 Numerator: ((7 . -10) (6 . 112) (5 . -120) (4 . -36) (3 . 24) (2 . 24) (1 . 8)
(0 . 1))
 Current Hilbert function value: 792
 Next Hilbert function value: 1124
 Next Hilbert function limitation: 924
 Lengths of SPairs member lists:
  (1132 1809 2040 1245)
Number of S-polynomial reductions at this degree: 139
*** Garbage collection starting
*** GC 7: 20-Jul-96 22:53:32 (~ 19337925 ms cpu time, gc : 0 %)
*** time 2176 ms, 1820017 occupied, 14279954 recovered, 14279983 free

  Finished degree 6
 Number of new Groebner basis elements: 200
*** Garbage collection starting
*** GC 8: 20-Jul-96 23:25:28 (~ 21286550 ms cpu time, gc : 0 %)
*** time 2516 ms, 2271017 occupied, 1534562 recovered, 13828983 free
 Time: 21287264
 Denominator degree: 3
 Numerator: ((7 . 172) (6 . -187) (5 . -99) (4 . 21) (3 . 57) (2 . 33) (1 . 9) (
0 . 1))
 Current Hilbert function value: 924
 Next Hilbert function value: 1063
 Next Hilbert function limitation: 792
 Lengths of SPairs member lists:
  (2905 4181 4972 3865 522)
Number of S-polynomial reductions at this degree: 1081
*** Garbage collection starting
*** GC 9: 21-Jul-96 08:05:36 (~ 53029936 ms cpu time, gc : 0 %)
*** time 4165 ms, 3373099 occupied, 12726872 recovered, 12726901 free

  Finished degree 7
 Number of new Groebner basis elements: 271
*** Garbage collection starting
*** GC 10: 21-Jul-96 10:35:23 (~ 62170853 ms cpu time, gc : 0 %)
*** time 5712 ms, 4976533 occupied, 4276646 recovered, 11123467 free
 Time: 62173522
 Denominator degree: 2
 Numerator: ((8 . 142) (7 . -264) (6 . -165) (5 . 22) (4 . 121) (3 . 100) (2 . 
43) (1 . 10) (0 . 1))
 Current Hilbert function value: 792
 Next Hilbert function value: 802
 Next Hilbert function limitation: 495
 Lengths of SPairs member lists:
  (6009 9649 13382 12431 8431 1993)
Number of S-polynomial reductions at this degree: 602
*** Garbage collection starting
*** GC 11: 21-Jul-96 16:09:46 (~ 82493452 ms cpu time, gc : 0 %)
*** time 6341 ms, 5674161 occupied, 10425810 recovered, 10425839 free
*** Garbage collection starting
*** GC 12: 21-Jul-96 21:49:54 (~ 103143250 ms cpu time, gc : 0 %)
*** time 6494 ms, 5728527 occupied, 10371444 recovered, 10371473 free
*** Garbage collection starting
*** GC 13: 22-Jul-96 04:57:02 (~ 129171848 ms cpu time, gc : 0 %)
*** time 6851 ms, 5889949 occupied, 10210022 recovered, 10210051 free

  Finished degree 8
 Number of new Groebner basis elements: 307
*** Garbage collection starting
*** GC 14: 22-Jul-96 12:09:17 (~ 155475897 ms cpu time, gc : 0 %)
*** time 9367 ms, 7956867 occupied, 8143104 recovered, 8143133 free
*** Garbage collection starting
*** GC 15: 22-Jul-96 12:12:04 (~ 155586176 ms cpu time, gc : 0 %)
*** time 8891 ms, 7471263 occupied, 767492 recovered, 8628737 free
 Time: 155590324
 Denominator degree: 2
 Numerator: ((9 . 305) (8 . -165) (7 . -264) (6 . -165) (5 . 22) (4 . 121) (3 . 
100) (2 . 43) (1 . 10) (0 . 1))
 Current Hilbert function value: 495
 Next Hilbert function value: 503
 Next Hilbert function limitation: 220
 Lengths of SPairs member lists:
  (11408 17211 20366 20785 12727)
Number of S-polynomial reductions at this degree: 2131
*** Garbage collection starting
*** GC 16: 22-Jul-96 17:07:34 (~ 166058261 ms cpu time, gc : 0 %)
*** time 9129 ms, 7688867 occupied, 8411104 recovered, 8411133 free
*** Garbage collection starting
*** GC 17: 22-Jul-96 20:20:46 (~ 177732161 ms cpu time, gc : 0 %)
*** time 9010 ms, 7677457 occupied, 8422514 recovered, 8422543 free

  Finished degree 9
 Number of new Groebner basis elements: 283
*** Garbage collection starting
*** GC 18: 23-Jul-96 00:10:20 (~ 191621246 ms cpu time, gc : 0 %)
*** time 10149 ms, 8333977 occupied, 7765994 recovered, 7766023 free
*** Garbage collection starting
*** GC 19: 23-Jul-96 00:15:20 (~ 191833219 ms cpu time, gc : 0 %)
*** time 9979 ms, 8673801 occupied, 1144868 recovered, 7426199 free
 Time: 191837928
 Denominator degree: 2
 Numerator: ((10 . 281) (9 . 22) (8 . -165) (7 . -264) (6 . -165) (5 . 22) (4 . 
121) (3 . 100) (2 . 43) (1 . 10) (0 . 1))
 Current Hilbert function value: 220
 Next Hilbert function value: 226
 Next Hilbert function limitation: 66
 Lengths of SPairs member lists:
  (18737 23665 27805 23164)
Number of S-polynomial reductions at this degree: 3374
*** Garbage collection starting
*** GC 20: 23-Jul-96 01:09:51 (~ 195040031 ms cpu time, gc : 0 %)
*** time 10166 ms, 8695515 occupied, 7404456 recovered, 7404485 free

  Finished degree 10
 Number of new Groebner basis elements: 116
*** Garbage collection starting
*** GC 21: 23-Jul-96 01:17:23 (~ 195424979 ms cpu time, gc : 0 %)
*** time 9299 ms, 7989233 occupied, 1549702 recovered, 8110767 free
 Time: 195430028
 Denominator degree: 2
 Numerator: ((11 . 116) (10 . 165) (9 . 22) (8 . -165) (7 . -264) (6 . -165) (5
 . 22) (4 . 121) (3 . 100) (2 . 43) (1 . 10) (0 . 1))
 Current Hilbert function value: 110
 Next Hilbert function value: 116
 Next Hilbert function limitation: 12
 Lengths of SPairs member lists:
  (24264 29305 26495)
Number of S-polynomial reductions at this degree: 3111

  Finished degree 11
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 22: 23-Jul-96 01:18:51 (~ 195454219 ms cpu time, gc : 0 %)
*** time 7327 ms, 6467697 occupied, 3235602 recovered, 9632303 free
 Time: 195459081
 Denominator degree: 2
 Numerator: ((12 . 1) (11 . 115) (10 . 165) (9 . 22) (8 . -165) (7 . -264) (6 . 
-165) (5 . 22) (4 . 121) (3 . 100) (2 . 43) (1 . 10) (0 . 1))
 Current Hilbert function value: 115
 Next Hilbert function value: 121
 Next Hilbert function limitation: 1
 Lengths of SPairs member lists:
  (29305 26495)
Number of S-polynomial reductions at this degree: 1221

  Finished degree 12
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 23: 23-Jul-96 01:19:42 (~ 195474160 ms cpu time, gc : 0 %)
*** time 5270 ms, 4552927 occupied, 3593062 recovered, 11547073 free
 Time: 195474160
 Denominator degree: 2
 Numerator: ((12 . 1) (11 . 115) (10 . 165) (9 . 22) (8 . -165) (7 . -264) (6 . 
-165) (5 . 22) (4 . 121) (3 . 100) (2 . 43) (1 . 10) (0 . 1))
 Current Hilbert function value: 121
 Next Hilbert function value: 127
 Next Hilbert function limitation: 0
 Lengths of SPairs member lists:
  (26495)
Number of S-polynomial reductions at this degree: 0

  Finished degree 13
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 24: 23-Jul-96 01:19:53 (~ 195484462 ms cpu time, gc : 0 %)
*** time 3162 ms, 2786683 occupied, 2156734 recovered, 13313317 free
 Time: 195484462
 Denominator degree: 2
 Numerator: ((12 . 1) (11 . 115) (10 . 165) (9 . 22) (8 . -165) (7 . -264) (6 . 
-165) (5 . 22) (4 . 121) (3 . 100) (2 . 43) (1 . 10) (0 . 1))
 Current Hilbert function value: 127
 Next Hilbert function value: 133
 Next Hilbert function limitation: 0
 Lengths of SPairs member lists:
  NIL
Number of S-polynomial reductions at this degree: 0
D!o!n!e
28 lisp> 0
0
1386
1
13
33 lisp> 0
0
2
((12 . 1) (11 . 115) (10 . 165) (9 . 22) (8 . -165) (7 . -264) (6 . -165) (5 . 
22) (4 . 121) (3 . 100) (2 . 43) (1 . 10) (0 . 1))
37 lisp> NIL
38 lisp> 1176774
39 lisp> Backtrace, including interpreter functions, from top of stack:
INTERPBACKTRACE STANDARDLISP 
NIL
40 lisp> 
Quitting
