Bergman 0.9,  4-Jul-96
1 lisp> 1 lisp> *** Garbage collection starting
*** GC 1: 19-Jul-96 20:54:36 (~ 85 ms cpu time, gc : 20 %)
*** time 17 ms, 15399 occupied, 1297 recovered, 1684601 free
*** GC 2: 19-Jul-96 20:54:36 (~ 136 ms cpu time, gc : 37 %)
*** time 34 ms, 15399 occupied, 0 recovered, 1684601 free
*** Heap space has been enlarged by 14400000 items
*** GC 2: 19-Jul-96 20:54:36 (~ 136 ms cpu time, gc : 37 %)
*** 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
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> 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> 1145
20 lisp> ((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
21 lisp> 923
22 lisp> NIL
23 lisp> NIL
24 lisp> 24 lisp> ((2 2 2 2 2 2 2 2 2 2 2 2 2 2 2))
25 lisp> 923
26 lisp> 
  Finished degree 2
 Number of new Groebner basis elements: 15
*** Garbage collection starting
*** GC 3: 19-Jul-96 20:54:50 (~ 8500 ms cpu time, gc : 2 %)
*** time 187 ms, 172897 occupied, 490489 recovered, 15927103 free
 Time: 8517
 Denominator degree: 7
 Numerator: ((4 . -3) (3 . -6) (2 . 6) (1 . 6) (0 . 1))
 Current Hilbert function value: 76
 Next Hilbert function value: 288
 Next Hilbert function limitation: 262
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 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 4: 19-Jul-96 20:54:50 (~ 8874 ms cpu time, gc : 5 %)
*** time 221 ms, 194457 occupied, 17870 recovered, 15905543 free
 Time: 8908
 Denominator degree: 6
 Numerator: ((5 . 2) (4 . -2) (3 . -19) (2 . 13) (1 . 7) (0 . 1))
 Current Hilbert function value: 262
 Next Hilbert function value: 675
 Next Hilbert function limitation: 589
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (136 93)
Number of S-polynomial reductions at this degree: 28

  Finished degree 4
 Number of new Groebner basis elements: 86
*** Garbage collection starting
*** GC 5: 19-Jul-96 20:55:22 (~ 37638 ms cpu time, gc : 2 %)
*** time 527 ms, 481303 occupied, 255336 recovered, 15618697 free
 Time: 37859
 Denominator degree: 4
 Numerator: ((5 . 8) (4 . -54) (3 . 32) (2 . 30) (1 . 9) (0 . 1))
 Current Hilbert function value: 589
 Next Hilbert function value: 1083
 Next Hilbert function limitation: 923
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (596 796 748)
Number of S-polynomial reductions at this degree: 118

  Finished degree 5
 Number of new Groebner basis elements: 160
*** Garbage collection starting
*** GC 6: 19-Jul-96 21:14:14 (~ 1103283 ms cpu time, gc : 0 %)
*** time 1666 ms, 1443791 occupied, 1084116 recovered, 14656209 free
 Time: 1103963
 Denominator degree: 3
 Numerator: ((6 . 8) (5 . -134) (4 . 18) (3 . 72) (2 . 40) (1 . 10) (0 . 1))
 Current Hilbert function value: 923
 Next Hilbert function value: 1272
 Next Hilbert function limitation: 1102
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (1658 2590 2536 921)
Number of S-polynomial reductions at this degree: 205

  Finished degree 6
 Number of new Groebner basis elements: 170
*** Garbage collection starting
*** GC 7: 19-Jul-96 22:40:35 (~ 5840248 ms cpu time, gc : 0 %)
*** time 3230 ms, 2837053 occupied, 2431932 recovered, 13262947 free
 Time: 5841506
 Denominator degree: 2
 Numerator: ((6 . -155) (5 . 7) (4 . 141) (3 . 123) (2 . 51) (1 . 11) (0 . 1))
 Current Hilbert function value: 1102
 Next Hilbert function value: 1281
 Next Hilbert function limitation: 1142
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (3588 4821 4854 3157 593)
Number of S-polynomial reductions at this degree: 170

  Finished degree 7
 Number of new Groebner basis elements: 139
*** Garbage collection starting
*** GC 8: 20-Jul-96 01:12:15 (~ 14142385 ms cpu time, gc : 0 %)
*** time 4692 ms, 3975083 occupied, 3385454 recovered, 12124917 free
 Time: 14145173
 Denominator degree: 2
 Numerator: ((7 . -139) (6 . -155) (5 . 7) (4 . 141) (3 . 123) (2 . 51) (1 . 11)
(0 . 1))
 Current Hilbert function value: 1142
 Next Hilbert function value: 1182
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (5587 6576 6278 3986 846 105)
Number of S-polynomial reductions at this degree: 139

  Finished degree 8
 Number of new Groebner basis elements: 37
*** Garbage collection starting
*** GC 9: 20-Jul-96 04:04:45 (~ 23597989 ms cpu time, gc : 0 %)
*** time 4522 ms, 4127947 occupied, 4249654 recovered, 11972053 free
 Time: 23600930
 Denominator degree: 2
 Numerator: ((9 . 1) (8 . -37) (7 . -139) (6 . -155) (5 . 7) (4 . 141) (3 . 123)
(2 . 51) (1 . 11) (0 . 1))
 Current Hilbert function value: 1145
 Next Hilbert function value: 1149
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (6814 7067 5629 2588 508 160 39)
Number of S-polynomial reductions at this degree: 70

  Finished degree 9
 Number of new Groebner basis elements: 4
*** Garbage collection starting
*** GC 10: 20-Jul-96 05:02:55 (~ 26783721 ms cpu time, gc : 0 %)
*** time 4284 ms, 3787359 occupied, 2826660 recovered, 12312641 free
 Time: 26787988
 Denominator degree: 1
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 1145
 Next Hilbert function value: 1145
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (7108 5791 2845 738 382 211 49)
Number of S-polynomial reductions at this degree: 14

  Finished degree 10
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 11: 20-Jul-96 05:03:10 (~ 26791898 ms cpu time, gc : 0 %)
*** time 3655 ms, 3308067 occupied, 1861738 recovered, 12791933 free
 Time: 26791898
 Denominator degree: 1
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 1145
 Next Hilbert function value: 1145
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (5791 2845 738 382 211 49)
Number of S-polynomial reductions at this degree: 0

  Finished degree 11
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 12: 20-Jul-96 05:03:13 (~ 26795230 ms cpu time, gc : 0 %)
*** time 3179 ms, 2935451 occupied, 372734 recovered, 13164549 free
 Time: 26795230
 Denominator degree: 1
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 1145
 Next Hilbert function value: 1145
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (2845 738 382 211 49)
Number of S-polynomial reductions at this degree: 0

  Finished degree 12
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 13: 20-Jul-96 05:03:16 (~ 26798307 ms cpu time, gc : 0 %)
*** time 2992 ms, 2764479 occupied, 171088 recovered, 13335521 free
 Time: 26798307
 Denominator degree: 1
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 1145
 Next Hilbert function value: 1145
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (738 382 211 49)
Number of S-polynomial reductions at this degree: 0

  Finished degree 13
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 14: 20-Jul-96 05:03:20 (~ 26801282 ms cpu time, gc : 0 %)
*** time 2958 ms, 2722379 occupied, 42214 recovered, 13377621 free
 Time: 26801282
 Denominator degree: 1
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 1145
 Next Hilbert function value: 1145
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (382 211 49)
Number of S-polynomial reductions at this degree: 0

  Finished degree 14
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 15: 20-Jul-96 05:03:23 (~ 26804223 ms cpu time, gc : 0 %)
*** time 2924 ms, 2700683 occupied, 21808 recovered, 13399317 free
 Time: 26804223
 Denominator degree: 1
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 1145
 Next Hilbert function value: 1145
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (211 49)
Number of S-polynomial reductions at this degree: 0

  Finished degree 15
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 16: 20-Jul-96 05:03:26 (~ 26807062 ms cpu time, gc : 0 %)
*** time 2839 ms, 2688315 occupied, 12478 recovered, 13411685 free
 Time: 26807062
 Denominator degree: 1
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 1145
 Next Hilbert function value: 1145
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  (49)
Number of S-polynomial reductions at this degree: 0

  Finished degree 16
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 17: 20-Jul-96 05:03:29 (~ 26809884 ms cpu time, gc : 0 %)
*** time 2805 ms, 2685275 occupied, 3148 recovered, 13414725 free
 Time: 26809884
 Denominator degree: 1
 Numerator: ((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (
1 . 12) (0 . 1))
 Current Hilbert function value: 1145
 Next Hilbert function value: 1145
 Next Hilbert function limitation: 1145
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 13) (2 . 76) (3 . 262) (4 . 589) (5 . 923) (6 . 1102) (7 . 1142) (
DEFAULT . 1145))
 Lengths of SPairs member lists:
  NIL
Number of S-polynomial reductions at this degree: 0
D!o!n!e
27 lisp> 0
0
638
1
16
32 lisp> 0
0
1
((8 . 3) (7 . 40) (6 . 179) (5 . 334) (4 . 327) (3 . 186) (2 . 63) (1 . 12) (0
 . 1))
36 lisp> NIL
37 lisp> 140981
38 lisp> Backtrace, including interpreter functions, from top of stack:
INTERPBACKTRACE STANDARDLISP 
NIL
39 lisp> 
Quitting
