
4: Entering LISP ... 
Bergman 0.9, 14-May-96
1 lisp> 16000000
2 lisp> nil
3 lisp> nil
nil
nil
4 lisp> nil
nil
nil
nil
nil
9 lisp> nil
10 lisp> 7
11 lisp> 0
0
0
14 lisp> 14 lisp> 14 lisp> 14 lisp> 14 lisp> 14 lisp> 14 lisp> 14 lisp> *** Function `degreeenddisplay' has been redefined
degreeenddisplay
15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 lisp> 15 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
16 lisp> 16 lisp> 16 lisp> 16 lisp> (lambda (cdg) (quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
17 lisp> ((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
18 lisp> 96
19 lisp> 0
20 lisp> 20 lisp> ((3 3))
21 lisp> 
  Finished degree 3
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 3: 16-Jun-96 18:45:39 (~ 374 ms cpu time, gc : 63 %)
*** time 85 ms, 72884 occupied, 6339 recovered, 15927116 free
 Time: 374
 Denominator degree: 4
 Numerator: ((3 . -1) (2 . 1) (1 . 1) (0 . 1))
 Current Hilbert function value: 33
 Next Hilbert function value: 61
 Next Hilbert function limitation: 60
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 4
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 4: 16-Jun-96 18:45:39 (~ 459 ms cpu time, gc : 70 %)
*** time 85 ms, 74870 occupied, 6198 recovered, 15925130 free
 Time: 459
 Denominator degree: 4
 Numerator: ((5 . 1) (4 . -1) (3 . -1) (2 . 1) (1 . 1) (0 . 1))
 Current Hilbert function value: 60
 Next Hilbert function value: 98
 Next Hilbert function limitation: 96
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (3)
Number of S-polynomial reductions at this degree: 1

  Finished degree 5
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 5: 16-Jun-96 18:45:39 (~ 680 ms cpu time, gc : 60 %)
*** time 85 ms, 79420 occupied, 51084 recovered, 15920580 free
 Time: 680
 Denominator degree: 4
 Numerator: ((7 . -1) (6 . -2) (5 . -2) (4 . -1) (3 . 2) (2 . 4) (1 . 3) (0 . 1)
)
 Current Hilbert function value: 255
 Next Hilbert function value: 412
 Next Hilbert function limitation: 141
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (5 2 2 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 6
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 6: 16-Jun-96 18:45:41 (~ 1802 ms cpu time, gc : 27 %)
*** time 85 ms, 88398 occupied, 388334 recovered, 15911602 free
 Time: 1802
 Denominator degree: 4
 Numerator: ((8 . -1) (7 . -3) (6 . -4) (5 . -3) (4 . 1) (3 . 6) (2 . 7) (1 . 4)
(0 . 1))
 Current Hilbert function value: 667
 Next Hilbert function value: 1029
 Next Hilbert function limitation: 195
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (8 3 3 3)
Number of S-polynomial reductions at this degree: 4

  Finished degree 7
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 7: 16-Jun-96 18:45:59 (~ 16524 ms cpu time, gc : 3 %)
*** time 102 ms, 113038 occupied, 2938562 recovered, 15886962 free
 Time: 16541
 Denominator degree: 4
 Numerator: ((7 . -1) (6 . -2) (5 . -2) (4 . -1) (3 . 2) (2 . 4) (1 . 3) (0 . 1)
)
 Current Hilbert function value: 617
 Next Hilbert function value: 874
 Next Hilbert function limitation: 258
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (14 9 4 4 2)
Number of S-polynomial reductions at this degree: 6
*** Garbage collection starting
*** GC 8: 16-Jun-96 18:48:05 (~ 129489 ms cpu time, gc : 0 %)
*** time 221 ms, 219877 occupied, 15780000 recovered, 15780123 free
*** Garbage collection starting
*** GC 9: 16-Jun-96 18:49:58 (~ 205445 ms cpu time, gc : 0 %)
*** time 153 ms, 223278 occupied, 15776669 recovered, 15776722 free

  Finished degree 8
 Number of new Groebner basis elements: 5
*** Garbage collection starting
*** GC 10: 16-Jun-96 18:50:43 (~ 229177 ms cpu time, gc : 0 %)
*** time 119 ms, 191392 occupied, 3854679 recovered, 15808608 free
 Time: 229211
 Denominator degree: 4
 Numerator: ((7 . -1) (6 . -2) (5 . -2) (4 . -1) (3 . 2) (2 . 4) (1 . 3) (0 . 1)
)
 Current Hilbert function value: 874
 Next Hilbert function value: 1187
 Next Hilbert function limitation: 330
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (27 20 12 7 6 2 2)
Number of S-polynomial reductions at this degree: 11
*** Garbage collection starting
*** GC 11: 16-Jun-96 18:53:54 (~ 346902 ms cpu time, gc : 0 %)
*** time 204 ms, 326672 occupied, 15673268 recovered, 15673328 free
*** Garbage collection starting
*** GC 12: 16-Jun-96 18:56:48 (~ 455889 ms cpu time, gc : 0 %)
*** time 187 ms, 375882 occupied, 15624037 recovered, 15624118 free
*** Garbage collection starting
*** GC 13: 16-Jun-96 19:00:15 (~ 582386 ms cpu time, gc : 0 %)
*** time 289 ms, 485314 occupied, 15514516 recovered, 15514686 free
*** Garbage collection starting
*** GC 14: 16-Jun-96 19:03:02 (~ 700111 ms cpu time, gc : 0 %)
*** time 204 ms, 421581 occupied, 15578318 recovered, 15578419 free
*** Garbage collection starting
*** GC 15: 16-Jun-96 19:05:55 (~ 802859 ms cpu time, gc : 0 %)
*** time 221 ms, 442422 occupied, 15557468 recovered, 15557578 free
*** Garbage collection starting
*** GC 16: 16-Jun-96 19:08:21 (~ 864977 ms cpu time, gc : 0 %)
*** time 238 ms, 463333 occupied, 15536439 recovered, 15536667 free
*** Garbage collection starting
*** GC 17: 16-Jun-96 19:11:17 (~ 953904 ms cpu time, gc : 0 %)
*** time 238 ms, 466164 occupied, 15533648 recovered, 15533836 free
*** Garbage collection starting
*** GC 18: 16-Jun-96 19:13:55 (~ 1019847 ms cpu time, gc : 0 %)
*** time 238 ms, 439396 occupied, 15560567 recovered, 15560604 free
*** Garbage collection starting
*** GC 19: 16-Jun-96 19:16:31 (~ 1082441 ms cpu time, gc : 0 %)
*** time 289 ms, 465525 occupied, 15534408 recovered, 15534475 free
*** Garbage collection starting
*** GC 20: 16-Jun-96 19:19:08 (~ 1161644 ms cpu time, gc : 0 %)
*** time 221 ms, 480024 occupied, 15519892 recovered, 15519976 free
*** Garbage collection starting
*** GC 21: 16-Jun-96 19:21:57 (~ 1235900 ms cpu time, gc : 0 %)
*** time 255 ms, 441329 occupied, 15558541 recovered, 15558671 free
*** Garbage collection starting
*** GC 22: 16-Jun-96 19:24:03 (~ 1322413 ms cpu time, gc : 0 %)
*** time 221 ms, 420319 occupied, 15579632 recovered, 15579681 free
*** Garbage collection starting
*** GC 23: 16-Jun-96 19:25:44 (~ 1399236 ms cpu time, gc : 0 %)
*** time 221 ms, 469638 occupied, 15530311 recovered, 15530362 free
*** Garbage collection starting
*** GC 24: 16-Jun-96 19:26:56 (~ 1459195 ms cpu time, gc : 0 %)
*** time 221 ms, 437172 occupied, 15562729 recovered, 15562828 free
*** Garbage collection starting
*** GC 25: 16-Jun-96 19:28:37 (~ 1536222 ms cpu time, gc : 0 %)
*** time 221 ms, 473595 occupied, 15526334 recovered, 15526405 free
*** Garbage collection starting
*** GC 26: 16-Jun-96 19:29:56 (~ 1600244 ms cpu time, gc : 0 %)
*** time 204 ms, 438997 occupied, 15560876 recovered, 15561003 free
*** Garbage collection starting
*** GC 27: 16-Jun-96 19:31:13 (~ 1657551 ms cpu time, gc : 0 %)
*** time 238 ms, 485618 occupied, 15514345 recovered, 15514382 free
*** Garbage collection starting
*** GC 28: 16-Jun-96 19:32:47 (~ 1734578 ms cpu time, gc : 0 %)
*** time 187 ms, 401078 occupied, 15598886 recovered, 15598922 free
*** Garbage collection starting
*** GC 29: 16-Jun-96 19:33:53 (~ 1783436 ms cpu time, gc : 0 %)
*** time 238 ms, 467961 occupied, 15531973 recovered, 15532039 free
*** Garbage collection starting
*** GC 30: 16-Jun-96 19:35:29 (~ 1863302 ms cpu time, gc : 0 %)
*** time 255 ms, 472179 occupied, 15527698 recovered, 15527821 free
*** Garbage collection starting
*** GC 31: 16-Jun-96 19:36:46 (~ 1922768 ms cpu time, gc : 0 %)
*** time 221 ms, 462577 occupied, 15537387 recovered, 15537423 free
*** Garbage collection starting
*** GC 32: 16-Jun-96 19:38:12 (~ 1991992 ms cpu time, gc : 0 %)
*** time 221 ms, 472396 occupied, 15527507 recovered, 15527604 free
*** Garbage collection starting
*** GC 33: 16-Jun-96 19:39:35 (~ 2058989 ms cpu time, gc : 0 %)
*** time 204 ms, 453765 occupied, 15546082 recovered, 15546235 free
*** Garbage collection starting
*** GC 34: 16-Jun-96 19:41:01 (~ 2129947 ms cpu time, gc : 0 %)
*** time 238 ms, 474539 occupied, 15525342 recovered, 15525461 free

  Finished degree 9
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 35: 16-Jun-96 19:41:50 (~ 2170526 ms cpu time, gc : 0 %)
*** time 187 ms, 382310 occupied, 7893463 recovered, 15617690 free
 Time: 2170560
 Denominator degree: 3
 Numerator: ((9 . 1) (8 . 2) (7 . 2) (6 . 2) (5 . 3) (4 . 4) (3 . 5) (2 . 5) (1
 . 3) (0 . 1))
 Current Hilbert function value: 678
 Next Hilbert function value: 876
 Next Hilbert function limitation: 411
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (41 36 25 18 17 10 8)
Number of S-polynomial reductions at this degree: 18
*** Garbage collection starting
*** GC 36: 16-Jun-96 19:43:10 (~ 2249304 ms cpu time, gc : 0 %)
*** time 272 ms, 618463 occupied, 15381462 recovered, 15381537 free
