
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: 16
*** Garbage collection starting
*** GC 3: 29-Apr-96 16:42:25 (~ 2074 ms cpu time, gc : 13 %)
*** time 119 ms, 98238 occupied, 285026 recovered, 15901762 free
 Time: 2074
 Denominator degree: 0
 Numerator: ((10 . 1) (9 . 13) (8 . 68) (7 . 197) (6 . 357) (5 . 427) (4 . 343)
(3 . 183) (2 . 62) (1 . 12) (0 . 1))
 Current Hilbert function value: 62
 Lengths of SPairs member lists:
  (12)
Number of S-polynomial reductions at this degree: 0

  Finished degree 3
 Number of new Groebner basis elements: 11
*** Garbage collection starting
*** GC 4: 29-Apr-96 16:42:26 (~ 3162 ms cpu time, gc : 12 %)
*** time 119 ms, 122528 occupied, 12536 recovered, 15877472 free
 Time: 3179
 Denominator degree: 0
 Numerator: ((8 . 7) (7 . 52) (6 . 162) (5 . 276) (4 . 280) (3 . 172) (2 . 62) (
1 . 12) (0 . 1))
 Current Hilbert function value: 172
 Lengths of SPairs member lists:
  (58 16)
Number of S-polynomial reductions at this degree: 11

  Finished degree 4
 Number of new Groebner basis elements: 43
*** Garbage collection starting
*** GC 5: 29-Apr-96 16:43:19 (~ 57494 ms cpu time, gc : 1 %)
*** time 238 ms, 230566 occupied, 481274 recovered, 15769434 free
 Time: 57562
 Denominator degree: 0
 Numerator: ((6 . 36) (5 . 152) (4 . 237) (3 . 172) (2 . 62) (1 . 12) (0 . 1))
 Current Hilbert function value: 237
 Lengths of SPairs member lists:
  (311 147 79)
Number of S-polynomial reductions at this degree: 69

  Finished degree 5
 Number of new Groebner basis elements: 152
*** Garbage collection starting
*** GC 6: 29-Apr-96 17:17:15 (~ 1114129 ms cpu time, gc : 0 %)
*** time 459 ms, 477682 occupied, 6035032 recovered, 15522318 free
 Time: 1114418
 Denominator degree: 0
 Numerator: ((4 . 237) (3 . 172) (2 . 62) (1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Lengths of SPairs member lists:
  (1151 533 322 63)
Number of S-polynomial reductions at this degree: 392

  Finished degree 6
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 7: 29-Apr-96 17:17:25 (~ 1119229 ms cpu time, gc : 0 %)
*** time 476 ms, 500378 occupied, 334148 recovered, 15499622 free
 Time: 1119518
 Denominator degree: 0
 Numerator: ((4 . 237) (3 . 172) (2 . 62) (1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Lengths of SPairs member lists:
  (533 322 63)
Number of S-polynomial reductions at this degree: 1672

  Finished degree 7
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 8: 29-Apr-96 17:17:27 (~ 1120249 ms cpu time, gc : 0 %)
*** time 425 ms, 464724 occupied, 158642 recovered, 15535276 free
 Time: 1120538
 Denominator degree: 0
 Numerator: ((4 . 237) (3 . 172) (2 . 62) (1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Lengths of SPairs member lists:
  (322 63)
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:17:29 (~ 1121014 ms cpu time, gc : 0 %)
*** time 391 ms, 435558 occupied, 151788 recovered, 15564442 free
 Time: 1121320
 Denominator degree: 0
 Numerator: ((4 . 237) (3 . 172) (2 . 62) (1 . 12) (0 . 1))
 Current Hilbert function value: 0
 Lengths of SPairs member lists:
  (63)
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:17:31 (~ 1121728 ms cpu time, gc : 0 %)
*** time 391 ms, 433502 occupied, 116776 recovered, 15566498 free
 Time: 1122017
 Denominator degree: 0
 Numerator: ((4 . 237) (3 . 172) (2 . 62) (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
223
1
9
23 lisp> 0
0
25 lisp> nil
26 lisp> 1530
27 lisp> Backtrace, including interpreter functions, from top of stack:
interpbacktrace standardlisp 
nil
28 lisp> 
Quitting
