
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: 14-Jun-96 20:35:00 (~ 425 ms cpu time, gc : 64 %)
*** time 85 ms, 72888 occupied, 6356 recovered, 15927112 free
NQ 1 Time: 425
 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: 14-Jun-96 20:35:01 (~ 493 ms cpu time, gc : 68 %)
*** time 68 ms, 74874 occupied, 6198 recovered, 15925126 free
NQ 2 Time: 493
 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: 14-Jun-96 20:35:01 (~ 731 ms cpu time, gc : 58 %)
*** time 85 ms, 79424 occupied, 51084 recovered, 15920576 free
NQ 3NQ 4NQ 5NQ 6NQ 7NQ 8NQ 9 Time: 731
 Denominator degree: 4
 Numerator: ((9 . 0) (8 . 0) (7 . -1) (6 . 2) (5 . -1) (4 . -1) (3 . -1) (2 . 1)
(1 . 1) (0 . 1))
 Current Hilbert function value: 96
 Next Hilbert function value: 143
 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: 14-Jun-96 20:35:01 (~ 1258 ms cpu time, gc : 39 %)
*** time 68 ms, 87946 occupied, 134454 recovered, 15912054 free
NQ 10NQ 11NQ 12NQ 13NQ 14NQ 15NQ 16NQ 17NQ 18NQ 19NQ 20NQ 21NQ 22NQ 23NQ 24
 Time: 1275
 Denominator degree: 4
 Numerator: ((11 . 0) (10 . 0) (9 . 1) (8 . -3) (7 . 3) (6 . 0) (5 . -1) (4 . -1
) (3 . -1) (2 . 1) (1 . 1) (0 . 1))
 Current Hilbert function value: 141
 Next Hilbert function value: 198
 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: 2

  Finished degree 7
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 7: 14-Jun-96 20:35:07 (~ 6868 ms cpu time, gc : 8 %)
*** time 102 ms, 111650 occupied, 786280 recovered, 15888350 free
NQ 25NQ 26NQ 27NQ 28NQ 29NQ 30NQ 31NQ 32NQ 33NQ 34NQ 35NQ 36NQ 37NQ 38NQ 39NQ 40
NQ 41NQ 42NQ 43NQ 44NQ 45NQ 46NQ 47NQ 48NQ 49NQ 50NQ 51NQ 52NQ 53NQ 54NQ 55NQ 56
NQ 57NQ 58NQ 59NQ 60NQ 61 Time: 6885
 Denominator degree: 4
 Numerator: ((12 . 0) (11 . 0) (10 . 2) (9 . -6) (8 . 5) (7 . 0) (6 . 0) (5 . -1
) (4 . -1) (3 . -1) (2 . 1) (1 . 1) (0 . 1))
 Current Hilbert function value: 195
 Next Hilbert function value: 263
 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: 3

  Finished degree 8
 Number of new Groebner basis elements: 5
*** Garbage collection starting
*** GC 8: 14-Jun-96 20:36:38 (~ 88179 ms cpu time, gc : 0 %)
*** time 119 ms, 188498 occupied, 10828989 recovered, 15811502 free
NQ 62NQ 63NQ 64NQ 65NQ 66NQ 67NQ 68NQ 69NQ 70NQ 71NQ 72NQ 73NQ 74NQ 75
***** Segmentation Violation in commhlbnumquotient1-t
22 lisp> 0
0
16
1
8
27 lisp> 7
0
4
((12 . 0) (11 . 0) (10 . 2) (9 . -6) (8 . 5) (7 . 0) (6 . 0) (5 . -1) (4 . -1) (
3 . -1) (2 . 1) (1 . 1) (0 . 1))
31 lisp> nil
32 lisp> 442
33 lisp> Backtrace, including interpreter functions, from top of stack:
interpbacktrace standardlisp 
nil
34 lisp> 
Quitting
