
4: Entering LISP ... 
Bergman 0.9,  1-Jul-96
1 lisp> 16000000
2 lisp> nil
3 lisp> nil
*** (g!e!tp!r!e!d!cm!o!d): base 6332720, 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> 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> 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> 19 lisp> 19 lisp> t
20 lisp> ((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
21 lisp> 6768
22 lisp> nil
23 lisp> nil
24 lisp> 24 lisp> ((2 2 2 2 2 2 2 2 2 2 2 2))
25 lisp> 6768
26 lisp> 
  Finished degree 2
 Number of new Groebner basis elements: 12
*** Garbage collection starting
*** GC 3:  1-Jul-96 18:08:54 (~ 8942 ms cpu time, gc : 3 %)
*** time 221 ms, 225046 occupied, 1287229 recovered, 15774954 free
 Time: 8942
 Denominator degree: 12
 Numerator: ((6 . -1) (5 . 1) (4 . 5) (3 . -7) (2 . -2) (1 . 4) (0 . 1))
 Current Hilbert function value: 124
 Next Hilbert function value: 645
 Next Hilbert function limitation: 624
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
 Lengths of SPairs member lists:
  (19)
Number of S-polynomial reductions at this degree: 0

  Finished degree 3
 Number of new Groebner basis elements: 21
*** Garbage collection starting
*** GC 4:  1-Jul-96 18:08:54 (~ 9401 ms cpu time, gc : 6 %)
*** time 272 ms, 260702 occupied, 28718 recovered, 15739298 free
 Time: 9418
 Denominator degree: 10
 Numerator: ((5 . 4) (4 . -3) (3 . -16) (2 . 9) (1 . 6) (0 . 1))
 Current Hilbert function value: 624
 Next Hilbert function value: 2367
 Next Hilbert function limitation: 2310
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
 Lengths of SPairs member lists:
  (94 65)
Number of S-polynomial reductions at this degree: 21

  Finished degree 4
 Number of new Groebner basis elements: 57
*** Garbage collection starting
*** GC 5:  1-Jul-96 18:09:51 (~ 67252 ms cpu time, gc : 2 %)
*** time 799 ms, 869562 occupied, 730450 recovered, 15130438 free
 Time: 67439
 Denominator degree: 8
 Numerator: ((4 . -36) (3 . 24) (2 . 24) (1 . 8) (0 . 1))
 Current Hilbert function value: 2310
 Next Hilbert function value: 6888
 Next Hilbert function limitation: 6768
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
 Lengths of SPairs member lists:
  (371 556 347)
Number of S-polynomial reductions at this degree: 104
*** Garbage collection starting
*** GC 6:  2-Jul-96 02:20:34 (~ 28242899 ms cpu time, gc : 0 %)
*** time 4641 ms, 4657710 occupied, 11342260 recovered, 11342290 free

  Finished degree 5
 Number of new Groebner basis elements: 120
*** Garbage collection starting
*** GC 7:  2-Jul-96 04:16:58 (~ 35344989 ms cpu time, gc : 0 %)
*** time 4250 ms, 4560668 occupied, 4289298 recovered, 11439332 free
 Time: 35345669
 Denominator degree: 8
 Numerator: ((8 . 2) (7 . -24) (6 . 124) (5 . -120) (4 . -36) (3 . 24) (2 . 24)
(1 . 8) (0 . 1))
 Current Hilbert function value: 6768
 Next Hilbert function value: 16720
 Next Hilbert function limitation: 16508
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
 Lengths of SPairs member lists:
  (1307 1836 2144 1559)
Number of S-polynomial reductions at this degree: 421
*** Garbage collection starting
*** GC 8:  2-Jul-96 20:00:22 (~ 91841072 ms cpu time, gc : 0 %)
*** time 9843 ms, 9971136 occupied, 6028834 recovered, 6028864 free
*** Garbage collection starting
*** GC 9:  3-Jul-96 06:10:15 (~ 127724094 ms cpu time, gc : 0 %)
*** time 11543 ms, 9929668 occupied, 6070302 recovered, 6070332 free
*** Garbage collection starting
*** GC 10:  3-Jul-96 23:59:46 (~ 167228728 ms cpu time, gc : 0 %)
*** time 13838 ms, 11886386 occupied, 4113584 recovered, 4113614 free
*** Garbage collection starting
*** GC 11:  4-Jul-96 09:17:42 (~ 198003131 ms cpu time, gc : 0 %)
*** time 15640 ms, 13680522 occupied, 2319448 recovered, 2319478 free
*** Garbage collection starting
*** GC 12:  4-Jul-96 14:13:13 (~ 215807418 ms cpu time, gc : 0 %)
*** time 17017 ms, 14682192 occupied, 1317778 recovered, 1317808 free
*** Garbage collection starting
*** GC 13:  4-Jul-96 17:22:14 (~ 226288751 ms cpu time, gc : 0 %)
*** time 17578 ms, 15223486 occupied, 776484 recovered, 776514 free
*** Garbage collection starting
*** GC 14:  4-Jul-96 19:07:18 (~ 232366166 ms cpu time, gc : 0 %)
*** time 17544 ms, 15559012 occupied, 440958 recovered, 440988 free
*** Garbage collection starting
*** GC 15:  4-Jul-96 20:08:35 (~ 236062340 ms cpu time, gc : 0 %)
*** time 17510 ms, 15730640 occupied, 269330 recovered, 269360 free
*** Garbage collection starting
*** GC 16:  4-Jul-96 20:48:48 (~ 238470628 ms cpu time, gc : 0 %)
*** time 17697 ms, 15822306 occupied, 177664 recovered, 177694 free
*** Garbage collection starting
*** GC 17:  4-Jul-96 21:09:43 (~ 239699252 ms cpu time, gc : 0 %)
*** time 17663 ms, 15909980 occupied, 89990 recovered, 90020 free
*** Garbage collection starting
*** GC 18:  4-Jul-96 21:13:07 (~ 239855601 ms cpu time, gc : 0 %)
*** time 19618 ms, 15994030 occupied, 5940 recovered, 5970 free
***** Heap space low
27 lisp> 0
0
211
144
6
32 lisp> 3
1068
8
((8 . 2) (7 . -24) (6 . 124) (5 . -120) (4 . -36) (3 . 24) (2 . 24) (1 . 8) (0
 . 1))
36 lisp> nil
37 lisp> 20213
38 lisp> Backtrace, including interpreter functions, from top of stack:
interpbacktrace standardlisp 
nil
39 lisp> 
Quitting
