Bergman 0.9,  4-Jul-96
1 lisp> 1 lisp> *** Garbage collection starting
*** GC 1: 25-Jul-96 16:36:29 (~ 119 ms cpu time, gc : 42 %)
*** time 51 ms, 15399 occupied, 1297 recovered, 1684601 free
*** GC 2: 25-Jul-96 16:36:29 (~ 136 ms cpu time, gc : 50 %)
*** time 17 ms, 15399 occupied, 0 recovered, 1684601 free
*** Heap space has been enlarged by 14400000 items
*** GC 2: 25-Jul-96 16:36:29 (~ 136 ms cpu time, gc : 50 %)
*** time 17 ms, 15405 occupied, 0 recovered, 16084595 free
16100000
2 lisp> 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> 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> P!t!rL!n!g!t!h
21 lisp> 21 lisp> 0
22 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))
23 lisp> 792
24 lisp> NIL
25 lisp> NIL
26 lisp> ((2 2 2 2 2 2 2 2 2 2 2 2))
27 lisp> 792
28 lisp> 
  Finished degree 2
 Number of new Groebner basis elements: 12
*** Garbage collection starting
*** GC 3: 25-Jul-96 16:36:38 (~ 7225 ms cpu time, gc : 3 %)
*** time 170 ms, 172079 occupied, 488815 recovered, 15927921 free
 Time: 7242
 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)
 Numbers of SPairs: (18)
Number of S-polynomial reductions at this degree: 0
Number of reductions of 0 (zero) at this degree: 0

  Finished degree 3
 Number of new Groebner basis elements: 18
*** Garbage collection starting
*** GC 4: 25-Jul-96 16:36:39 (~ 7463 ms cpu time, gc : 5 %)
*** time 153 ms, 185011 occupied, 10300 recovered, 15914989 free
 Time: 7497
 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)
 Numbers of SPairs: (130 77)
Number of S-polynomial reductions at this degree: 18
Number of reductions of 0 (zero) at this degree: 0

  Finished degree 4
 Number of new Groebner basis elements: 56
*** Garbage collection starting
*** GC 5: 25-Jul-96 16:36:44 (~ 12053 ms cpu time, gc : 5 %)
*** time 289 ms, 325897 occupied, 231072 recovered, 15774103 free
 Time: 12240
 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)
 Numbers of SPairs: (739 937 566)
Number of S-polynomial reductions at this degree: 103
Number of reductions of 0 (zero) at this degree: 0

  Finished degree 5
 Number of new Groebner basis elements: 121
*** Garbage collection starting
*** GC 6: 25-Jul-96 16:42:30 (~ 345457 ms cpu time, gc : 0 %)
*** time 918 ms, 955697 occupied, 735010 recovered, 15144303 free
 Time: 345746
 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)
 Numbers of SPairs: (2694 5215 5120 1680)
Number of S-polynomial reductions at this degree: 139
Number of reductions of 0 (zero) at this degree: 0
*** Garbage collection starting
*** GC 7: 26-Jul-96 02:05:57 (~ 17729317 ms cpu time, gc : 0 %)
*** time 1717 ms, 1815283 occupied, 14284688 recovered, 14284717 free

  Finished degree 6
 Number of new Groebner basis elements: 200
*** Garbage collection starting
*** GC 8: 26-Jul-96 03:06:03 (~ 19565487 ms cpu time, gc : 0 %)
*** time 2176 ms, 2271187 occupied, 1616980 recovered, 13828813 free
 Time: 19566116
 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)
 Numbers of SPairs: (8773 18431 22819 12460 630)
Number of S-polynomial reductions at this degree: 1081
Number of reductions of 0 (zero) at this degree: 0
*** Garbage collection starting
*** GC 9: 26-Jul-96 18:46:26 (~ 48148658 ms cpu time, gc : 0 %)
*** time 3264 ms, 3357029 occupied, 12742942 recovered, 12742971 free

  Finished degree 7
 Number of new Groebner basis elements: 271
*** Garbage collection starting
*** GC 10: 26-Jul-96 23:21:54 (~ 56561992 ms cpu time, gc : 0 %)
*** time 4913 ms, 4976703 occupied, 4490788 recovered, 11123297 free
 Time: 56564287
 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)
 Numbers of SPairs: (23497 43154 48591 33422 16960 3647)
Number of S-polynomial reductions at this degree: 602
Number of reductions of 0 (zero) at this degree: 0
*** Garbage collection starting
*** GC 11: 27-Jul-96 08:27:05 (~ 73177520 ms cpu time, gc : 0 %)
*** time 5185 ms, 5658409 occupied, 10441562 recovered, 10441591 free
*** Garbage collection starting
*** GC 12: 27-Jul-96 18:30:07 (~ 91555013 ms cpu time, gc : 0 %)
*** time 5678 ms, 5733255 occupied, 10366716 recovered, 10366745 free
*** Garbage collection starting
*** GC 13: 28-Jul-96 06:33:53 (~ 113608025 ms cpu time, gc : 0 %)
*** time 5644 ms, 5879633 occupied, 10220338 recovered, 10220367 free

  Finished degree 8
 Number of new Groebner basis elements: 307
*** Garbage collection starting
*** GC 14: 28-Jul-96 20:25:52 (~ 138979607 ms cpu time, gc : 0 %)
*** time 7140 ms, 7251701 occupied, 8848270 recovered, 8848299 free
*** Garbage collection starting
*** GC 15: 28-Jul-96 20:35:32 (~ 139229881 ms cpu time, gc : 0 %)
*** time 7293 ms, 7471433 occupied, 767492 recovered, 8628567 free
 Time: 139233366
 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)
 Numbers of SPairs: (49594 80944 102393 84970 30928)
Number of S-polynomial reductions at this degree: 2131
Number of reductions of 0 (zero) at this degree: 0
*** Garbage collection starting
*** GC 16: 29-Jul-96 00:57:53 (~ 147166025 ms cpu time, gc : 0 %)
*** time 7565 ms, 7693943 occupied, 8406028 recovered, 8406057 free
*** Garbage collection starting
*** GC 17: 29-Jul-96 06:39:16 (~ 157536467 ms cpu time, gc : 0 %)
*** time 7514 ms, 7682377 occupied, 8417594 recovered, 8417623 free
*** Garbage collection starting
*** GC 18: 29-Jul-96 12:41:20 (~ 168528446 ms cpu time, gc : 0 %)
*** time 7973 ms, 8159851 occupied, 7940120 recovered, 7940149 free

  Finished degree 9
 Number of new Groebner basis elements: 283
*** Garbage collection starting
*** GC 19: 29-Jul-96 14:25:49 (~ 171667054 ms cpu time, gc : 0 %)
*** time 8364 ms, 8673971 occupied, 2135678 recovered, 7426029 free
 Time: 171671032
 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)
 Numbers of SPairs: (87073 136579 165349 105896)
Number of S-polynomial reductions at this degree: 3374
Number of reductions of 0 (zero) at this degree: 0
*** Garbage collection starting
*** GC 20: 29-Jul-96 15:37:36 (~ 173778182 ms cpu time, gc : 0 %)
*** time 8398 ms, 8675615 occupied, 7424356 recovered, 7424385 free

  Finished degree 10
 Number of new Groebner basis elements: 116
*** Garbage collection starting
*** GC 21: 29-Jul-96 16:14:14 (~ 174838132 ms cpu time, gc : 0 %)
*** time 8262 ms, 7989403 occupied, 2836984 recovered, 8110597 free
 Time: 174842195
 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)
 Numbers of SPairs: (138971 178661 132860)
Number of S-polynomial reductions at this degree: 3111
Number of reductions of 0 (zero) at this degree: 0

  Finished degree 11
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 22: 29-Jul-96 16:17:04 (~ 174871690 ms cpu time, gc : 0 %)
*** time 6171 ms, 6467867 occupied, 4356492 recovered, 9632133 free
 Time: 174876025
 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)
 Numbers of SPairs: (178661 132860)
Number of S-polynomial reductions at this degree: 1221
Number of reductions of 0 (zero) at this degree: 0

  Finished degree 12
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 23: 29-Jul-96 16:18:39 (~ 174894742 ms cpu time, gc : 0 %)
*** time 4352 ms, 4553097 occupied, 4374262 recovered, 11546903 free
 Time: 174894742
 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)
 Numbers of SPairs: (132860)
Number of S-polynomial reductions at this degree: 0
Number of reductions of 0 (zero) at this degree: 0

  Finished degree 13
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 24: 29-Jul-96 16:19:06 (~ 174906319 ms cpu time, gc : 0 %)
*** time 2601 ms, 2786853 occupied, 2527670 recovered, 13313147 free
 Time: 174906319
 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
 Numbers of SPairs: NIL
Number of S-polynomial reductions at this degree: 0
Number of reductions of 0 (zero) at this degree: 0
D!o!n!e
29 lisp> 0
0
1386
1
13
34 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))
38 lisp> NIL
39 lisp> 1061072
40 lisp> Backtrace, including interpreter functions, from top of stack:
INTERPBACKTRACE STANDARDLISP 
NIL
41 lisp> 
Quitting
