End of .cshrc
End of .tcshrc
Bergman 0.931, 27-Nov-99
1 lisp> 1 lisp> "Cannot shrink heap"
NIL
2 lisp> Running on jocosus.matematik.su.se
0
3 lisp> NIL
NIL
5 lisp> algebraic form input> algebraic form input> algebraic form input> algebraic form input> algebraic form input> algebraic form input> algebraic form input> T
6 lisp> NIL
NIL
NIL
NIL
NIL
11 lisp> NIL
12 lisp> 7
13 lisp> 0
0
0
16 lisp> 16 lisp> 16 lisp> *** String continued over end-of-line
16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> *** Function `DEGREEENDDISPLAY' has been redefined
DEGREEENDDISPLAY
17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> *** String continued over end-of-line
17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 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
18 lisp> 18 lisp> T
19 lisp> ((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
20 lisp> 169
21 lisp> SetupGlobals
 ... done
NIL
22 lisp> 22 lisp> ((1) (2) (3) (4) (5) (6))
23 lisp> 
  Finished degree 1
 Number of new Groebner basis elements: 1
 Time: 374
 Denominator degree: 6
 Numerator: ((0 . 1))
 Current Hilbert function value: 6
 Next Hilbert function value: 21
 Next Hilbert function limitation: 20
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  NIL
Number of S-polynomial reductions at this degree: 0

  Finished degree 2
 Number of new Groebner basis elements: 1
 Time: 408
 Denominator degree: 5
 Numerator: ((1 . 1) (0 . 1))
 Current Hilbert function value: 20
 Next Hilbert function value: 50
 Next Hilbert function limitation: 49
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  NIL
Number of S-polynomial reductions at this degree: 0

  Finished degree 3
 Number of new Groebner basis elements: 1
 Time: 442
 Denominator degree: 5
 Numerator: ((3 . -1) (1 . 1) (0 . 1))
 Current Hilbert function value: 49
 Next Hilbert function value: 100
 Next Hilbert function limitation: 98
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 4
 Number of new Groebner basis elements: 2
 Time: 510
 Denominator degree: 4
 Numerator: ((4 . -1) (3 . 1) (2 . 2) (1 . 2) (0 . 1))
 Current Hilbert function value: 98
 Next Hilbert function value: 172
 Next Hilbert function limitation: 169
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (4 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 5
 Number of new Groebner basis elements: 3
 Time: 578
 Denominator degree: 4
 Numerator: ((6 . 2) (5 . -3) (4 . -1) (3 . 1) (2 . 2) (1 . 2) (0 . 1))
 Current Hilbert function value: 169
 Next Hilbert function value: 266
 Next Hilbert function limitation: 259
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (10 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 6
 Number of new Groebner basis elements: 7
 Time: 663
 Denominator degree: 4
 Numerator: ((8 . -3) (7 . 9) (6 . -5) (5 . -3) (4 . -1) (3 . 1) (2 . 2) (1 . 2)
(0 . 1))
 Current Hilbert function value: 259
 Next Hilbert function value: 374
 Next Hilbert function limitation: 360
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (24 24 6)
Number of S-polynomial reductions at this degree: 6

  Finished degree 7
 Number of new Groebner basis elements: 14
 Time: 952
 Denominator degree: 3
 Numerator: ((8 . 4) (7 . -8) (6 . -3) (5 . 2) (4 . 5) (3 . 6) (2 . 5) (1 . 3) (
0 . 1))
 Current Hilbert function value: 360
 Next Hilbert function value: 476
 Next Hilbert function limitation: 462
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (57 42 39 23 9)
Number of S-polynomial reductions at this degree: 17

  Finished degree 8
 Number of new Groebner basis elements: 14
 Time: 2040
 Denominator degree: 3
 Numerator: ((9 . 9) (8 . -10) (7 . -8) (6 . -3) (5 . 2) (4 . 5) (3 . 6) (2 . 5)
(1 . 3) (0 . 1))
 Current Hilbert function value: 462
 Next Hilbert function value: 574
 Next Hilbert function limitation: 557
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (79 80 65 42 12)
Number of S-polynomial reductions at this degree: 31

  Finished degree 9
 Number of new Groebner basis elements: 17
 Time: 8279
 Denominator degree: 3
 Numerator: ((16 . -2) (15 . -1) (14 . 2) (13 . 3) (10 . 10) (9 . -8) (8 . -10)
(7 . -8) (6 . -3) (5 . 2) (4 . 5) (3 . 6) (2 . 5) (1 . 3) (0 . 1))
 Current Hilbert function value: 557
 Next Hilbert function value: 655
 Next Hilbert function limitation: 642
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (122 114 103 73 49 37 29 16)
Number of S-polynomial reductions at this degree: 48

  Finished degree 10
 Number of new Groebner basis elements: 13
 Time: 8789
 Denominator degree: 3
 Numerator: ((16 . -10) (15 . 1) (14 . 10) (13 . 8) (12 . 3) (11 . -1) (10 . -3)
(9 . -8) (8 . -10) (7 . -8) (6 . -3) (5 . 2) (4 . 5) (3 . 6) (2 . 5) (1 . 3) (0
 . 1))
 Current Hilbert function value: 642
 Next Hilbert function value: 716
 Next Hilbert function limitation: 715
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (139 129 105 94 85 79 59 27 3)
Number of S-polynomial reductions at this degree: 14

  Finished degree 11
 Number of new Groebner basis elements: 1
 Time: 8942
 Denominator degree: 2
 Numerator: ((15 . 10) (14 . 9) (13 . -1) (12 . -9) (11 . -12) (10 . -10) (9 . 
-7) (8 . 1) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1)
)
 Current Hilbert function value: 715
 Next Hilbert function value: 779
 Next Hilbert function limitation: 778
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (132 110 100 96 91 62 37 7)
Number of S-polynomial reductions at this degree: 1

  Finished degree 12
 Number of new Groebner basis elements: 1
 Time: 9078
 Denominator degree: 2
 Numerator: ((15 . 10) (14 . 9) (13 . -1) (12 . -10) (11 . -12) (10 . -10) (9 . 
-7) (8 . 1) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1)
)
 Current Hilbert function value: 778
 Next Hilbert function value: 840
 Next Hilbert function limitation: 836
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (113 104 99 95 63 37 8)
Number of S-polynomial reductions at this degree: 1

  Finished degree 13
 Number of new Groebner basis elements: 4
 Time: 9316
 Denominator degree: 2
 Numerator: ((15 . 12) (14 . 9) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . 
-7) (8 . 1) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1)
)
 Current Hilbert function value: 836
 Next Hilbert function value: 903
 Next Hilbert function limitation: 894
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (114 109 108 82 56 13 2)
Number of S-polynomial reductions at this degree: 5

  Finished degree 14
 Number of new Groebner basis elements: 9
 Time: 10030
 Denominator degree: 2
 Numerator: ((16 . 1) (15 . 13) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . 
-7) (8 . 1) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1)
)
 Current Hilbert function value: 894
 Next Hilbert function value: 965
 Next Hilbert function limitation: 954
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (123 119 95 80 34 15 2)
Number of S-polynomial reductions at this degree: 9

  Finished degree 15
 Number of new Groebner basis elements: 11
 Time: 11237
 Denominator degree: 2
 Numerator: ((15 . 2) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . -7) (8 . 1
) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1))
 Current Hilbert function value: 954
 Next Hilbert function value: 1014
 Next Hilbert function limitation: 1014
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (149 143 142 107 71 27 6)
Number of S-polynomial reductions at this degree: 11

  Finished degree 16
 Number of new Groebner basis elements: 0
 Time: 11356
 Denominator degree: 2
 Numerator: ((15 . 2) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . -7) (8 . 1
) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1))
 Current Hilbert function value: 1014
 Next Hilbert function value: 1074
 Next Hilbert function limitation: 1074
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (143 142 107 71 27 6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 17
 Number of new Groebner basis elements: 0
 Time: 11475
 Denominator degree: 2
 Numerator: ((15 . 2) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . -7) (8 . 1
) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1))
 Current Hilbert function value: 1074
 Next Hilbert function value: 1134
 Next Hilbert function limitation: 1134
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (142 107 71 27 6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 18
 Number of new Groebner basis elements: 0
 Time: 11594
 Denominator degree: 2
 Numerator: ((15 . 2) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . -7) (8 . 1
) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1))
 Current Hilbert function value: 1134
 Next Hilbert function value: 1194
 Next Hilbert function limitation: 1194
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (107 71 27 6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 19
 Number of new Groebner basis elements: 0
 Time: 11696
 Denominator degree: 2
 Numerator: ((15 . 2) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . -7) (8 . 1
) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1))
 Current Hilbert function value: 1194
 Next Hilbert function value: 1254
 Next Hilbert function limitation: NIL
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (71 27 6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 20
 Number of new Groebner basis elements: 0
 Time: 11815
 Denominator degree: 2
 Numerator: ((15 . 2) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . -7) (8 . 1
) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1))
 Current Hilbert function value: 1254
 Next Hilbert function value: 1314
 Next Hilbert function limitation: NIL
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (27 6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 21
 Number of new Groebner basis elements: 0
 Time: 11951
 Denominator degree: 2
 Numerator: ((15 . 2) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . -7) (8 . 1
) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1))
 Current Hilbert function value: 1314
 Next Hilbert function value: 1374
 Next Hilbert function limitation: NIL
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  (6)
Number of S-polynomial reductions at this degree: 0

  Finished degree 22
 Number of new Groebner basis elements: 0
 Time: 12053
 Denominator degree: 2
 Numerator: ((15 . 2) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . -7) (8 . 1
) (7 . 11) (6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1))
 Current Hilbert function value: 1374
 Next Hilbert function value: 1434
 Next Hilbert function limitation: NIL
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 6) (2 . 20) (3 . 49) (4 . 98) (5 . 169) (6 . 259) (7 . 360) (8 . 
462) (9 . 557) (10 . 642) (11 . 715) (12 . 778) (13 . 836) (14 . 894) (15 . 954)
(16 . 1014) (17 . 1074) (18 . 1134) (19 . 1194) (DEFAULT))
 Lengths of SPairs member lists:
  NIL
Number of S-polynomial reductions at this degree: 0
D!o!n!e
24 lisp> 0
0
100
1
22
29 lisp> 0
0
31 lisp> NIL
32 lisp> NIL
33 lisp> 1134
34 lisp> 1734
35 lisp> ((15 . 2) (13 . -5) (12 . -10) (11 . -12) (10 . -10) (9 . -7) (8 . 1) (7 . 11) (
6 . 19) (5 . 22) (4 . 20) (3 . 15) (2 . 9) (1 . 4) (0 . 1))
36 lisp> 2
37 lisp> 2210
38 lisp> Backtrace, including interpreter functions, from top of stack:
INTERPBACKTRACE STANDARDLISP 
NIL
39 lisp> 
Quitting
