
4: Entering LISP ... 
Bergman 0.9, 23-Apr-96
1 lisp> 16000000
2 lisp> nil
nil
4 lisp> *** (g!e!tp!r!e!d!cm!o!d): base 6306400, length 12 bytes
t
nil
nil
5 lisp> nil
nil
nil
nil
nil
10 lisp> 7
11 lisp> 0
0
0
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> *** 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> (nil)
17 lisp> 17 lisp> 
  Finished degree 2
 Number of new Groebner basis elements: 15
*** Garbage collection starting
*** GC 3: 29-Apr-96 16:44:31 (~ 2023 ms cpu time, gc : 11 %)
*** time 119 ms, 97806 occupied, 281246 recovered, 15902194 free
 Time: 2023
 Denominator degree: 0
 Numerator: ((10 . 2) (9 . 21) (8 . 96) (7 . 253) (6 . 427) (5 . 483) (4 . 371)
(3 . 191) (2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 63
 Lengths of SPairs member lists:
  (8)
Number of S-polynomial reductions at this degree: 0

  Finished degree 3
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 4: 29-Apr-96 16:44:32 (~ 2635 ms cpu time, gc : 13 %)
*** time 119 ms, 118336 occupied, 7056 recovered, 15881664 free
 Time: 2635
 Denominator degree: 0
 Numerator: ((9 . 2) (8 . 24) (7 . 108) (6 . 257) (5 . 366) (4 . 327) (3 . 184)
(2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 184
 Lengths of SPairs member lists:
  (32 6)
Number of S-polynomial reductions at this degree: 7

  Finished degree 4
 Number of new Groebner basis elements: 27
*** Garbage collection starting
*** GC 5: 29-Apr-96 16:45:14 (~ 28356 ms cpu time, gc : 2 %)
*** time 221 ms, 205884 occupied, 231964 recovered, 15794116 free
 Time: 28390
 Denominator degree: 0
 Numerator: ((7 . 21) (6 . 120) (5 . 267) (4 . 300) (3 . 184) (2 . 63) (1 . 12)
(0 . 1))
 Current Hilbert function value: 300
 Lengths of SPairs member lists:
  (179 58 21)
Number of S-polynomial reductions at this degree: 40

  Finished degree 5
 Number of new Groebner basis elements: 99
*** Garbage collection starting
*** GC 6: 29-Apr-96 17:07:56 (~ 718148 ms cpu time, gc : 0 %)
*** time 459 ms, 456782 occupied, 4376470 recovered, 15543218 free
 Time: 718301
 Denominator degree: 0
 Numerator: ((5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 168
 Lengths of SPairs member lists:
  (757 234 122 23)
Number of S-polynomial reductions at this degree: 225

  Finished degree 6
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 7: 29-Apr-96 17:57:02 (~ 3396549 ms cpu time, gc : 0 %)
*** time 510 ms, 552442 occupied, 14571350 recovered, 15447558 free
 Time: 3396702
 Denominator degree: 0
 Numerator: ((5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Lengths of SPairs member lists:
  (234 122 23)
Number of S-polynomial reductions at this degree: 1068

  Finished degree 7
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 8: 29-Apr-96 17:57:02 (~ 3397314 ms cpu time, gc : 0 %)
*** time 493 ms, 536388 occupied, 85936 recovered, 15463612 free
 Time: 3397467
 Denominator degree: 0
 Numerator: ((5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Lengths of SPairs member lists:
  (122 23)
Number of S-polynomial reductions at this degree: 0

  Finished degree 8
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 9: 29-Apr-96 17:57:03 (~ 3397994 ms cpu time, gc : 0 %)
*** time 493 ms, 525902 occupied, 79666 recovered, 15474098 free
 Time: 3398147
 Denominator degree: 0
 Numerator: ((5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Lengths of SPairs member lists:
  (23)
Number of S-polynomial reductions at this degree: 0

  Finished degree 9
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 10: 29-Apr-96 17:57:04 (~ 3398640 ms cpu time, gc : 0 %)
*** time 493 ms, 525054 occupied, 66804 recovered, 15474946 free
 Time: 3398793
 Denominator degree: 0
 Numerator: ((5 . 168) (4 . 300) (3 . 184) (2 . 63) (1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Lengths of SPairs member lists:
  nil
Number of S-polynomial reductions at this degree: 0
d!o!n!e
18 lisp> 0
0
149
1
9
23 lisp> 0
0
25 lisp> nil
26 lisp> 799
27 lisp> Backtrace, including interpreter functions, from top of stack:
interpbacktrace standardlisp 
nil
28 lisp> 
Quitting
