D= 6
1: 0 (2-tor)
1: 1 x (-2S(1)+S(1))/S(3) x (-1+0S(-1))
1: rel 0 -2 0 1
5: 1 x (2S(1)-S(1))/S(3) x (-1+0S(-1))
5: rel 0 2 0 1
3: 1 x (2S(1)-S(1))/S(3) x (0+1S(-1))
3: rel 0 2 1 0
2: (3S(1)-S(3))/(1S(3) x (1/2+1/2S(-1))
2: rel 1/2 3/2 1/2 -1/2
4: (3S(1)-S(3))/(1S(3) x (-1/2+1/2S(-1))
4: rel 1/2 3/2 1/2 1/2
algebra:
B(-1,3) type= 1
gen= [ i, (1/2)*e+(3/2)*i+(1/2)*j+(-1/2)*k, (1/2)*e+(-3/2)*i+(-1/2)*j+(1/2)*k,
(1/2)*e+(3/2)*i+(1/2)*j+(1/2)*k, (1/2)*e+(-3/2)*i+(-1/2)*j+(-1/2)*k ]
imap= [ 1, 3, 2, 5, 4 ]
rel= [ [ 1 ], [ 1, 5, 3 ], [ 2 ], [ 4 ] ]
grel= [ i, (-2)*i+k, (1/2)*e+(3/2)*i+(1/2)*j+(-1/2)*k,
(1/2)*e+(3/2)*i+(1/2)*j+(1/2)*k ]
----------------------
D= 10
1: (-3S(2)+S(3))/(3/2S(10) x (-1-1/2S(-2))
1: rel -1/2 -3/2 -1/2 1/2
3: (-3S(2)+S(3))/(3/2S(10) x (1-1/2S(-2))
3: rel -1/2 -3/2 -1/2 -1/2
2: (2S(2)-S(3))/(1/2S(10) x (0+1/2S(-2))
2: rel 1/2 1 1/2 0
4: (-3S(2)+S(3))/(3/2S(10) x (1+1/2S(-2))
4: rel -1/2 -3/2 1/2 -1/2
6: (-3S(2)+S(3))/(3/2S(10) x (-1+1/2S(-2))
6: rel -1/2 -3/2 1/2 1/2
5: (2S(2)-S(3))/(1/2S(10) x (0-1/2S(-2))
5: rel 1/2 1 -1/2 0
algebra:
B(-2,5) type= 2
gen= [ (3/2)*e+(1/2)*j, (1/2)*e+i+(1/2)*j, (1/2)*e+(-1)*i+(-1/2)*j,
(3/2)*e+(-1/2)*j, (1/2)*e+i+(-1/2)*j, (1/2)*e+(-1)*i+(1/2)*j ]
imap= [ 4, 3, 2, 1, 6, 5 ]
rel= [ [ 1, 3 ], [ 2 ], [ 4, 6 ], [ 5 ] ]
grel= [ (-1/2)*e+(-3/2)*i+(-1/2)*j+(1/2)*k, (1/2)*e+i+(1/2)*j,
(-1/2)*e+(-3/2)*i+(1/2)*j+(-1/2)*k, (1/2)*e+i+(-1/2)*j ]
----------------------
D= 14
1: 0 (2-tor)
1: 1/5 x (-6S(1)+S(1))/S(7) x (-2+1S(-1))
1: rel 0 -6 1 2
5: 1/5 x (6S(1)-S(1))/S(7) x (-2+1S(-1))
5: rel 0 6 1 2
2: 1/5 x (6S(1)-S(1))/S(7) x (2+1S(-1))
2: rel 0 6 1 -2
3: 1/5 x (6S(1)-S(1))/S(7) x (1+2S(-1))
3: rel 0 6 2 -1
4: 1/5 x (6S(1)-S(1))/S(7) x (-1+2S(-1))
4: rel 0 6 2 1
algebra:
B(-1,7) type= 1
gen= [ i, (3/2)*e+(3/2)*i+(1/2)*j+(-1/2)*k, (2)*e+(2)*i+j,
(3/2)*e+(-3/2)*i+(-1/2)*j+(1/2)*k, (2)*e+(-2)*i+(-1)*j ]
imap= [ 1, 4, 5, 2, 3 ]
rel= [ [ 1 ], [ 1, 5, 2, 3, 4 ] ]
grel= [ i, (-6)*i+j+(2)*k ]
----------------------
D= 15
1: (-6S(3)+S(3))/(21/2S(15) x (-3-3/2S(-3))
1: rel -1/2 -3 -3/2 1
3: (-6S(3)+S(3))/(21/2S(15) x (3-3/2S(-3))
3: rel -1/2 -3 -3/2 -1
4: (-6S(3)+S(3))/(21/2S(15) x (3+3/2S(-3))
4: rel -1/2 -3 3/2 -1
6: (-6S(3)+S(3))/(21/2S(15) x (-3+3/2S(-3))
6: rel -1/2 -3 3/2 1
2: (-4S(3)+S(3))/(9/2S(15) x (0-3/2S(-3))
2: rel -1/2 -2 -3/2 0
5: (-4S(3)+S(3))/(9/2S(15) x (0+3/2S(-3))
5: rel -1/2 -2 3/2 0
algebra:
B(-3,5) type= 2
gen= [ (3/2)*e+(1/2)*j, (2)*e+(-1/2)*i+(1/2)*k, (2)*e+(1/2)*i+(1/2)*k,
(3/2)*e+(-1/2)*j, (2)*e+(-1/2)*i+(-1/2)*k, (2)*e+(1/2)*i+(-1/2)*k ]
imap= [ 4, 6, 5, 1, 3, 2 ]
rel= [ [ 1, 3, 4, 6 ], [ 2, 5 ] ]
grel= [ (-1/2)*e+(-3)*i+(-3/2)*j+k, (-1/2)*e+(-2)*i+(-3/2)*j ]
----------------------
D= 21
1: 0 (2-tor)
1: 2 x (5/2S(1)-S(1))/S(21) x (1+0S(-1))
1: rel 0 5/2 0 -1/2
9: 2 x (-5/2S(1)+S(1))/S(21) x (1+0S(-1))
9: rel 0 -5/2 0 -1/2
3: 2/65 x (-37/2S(1)+S(1))/S(21) x (-7-4S(-1))
3: rel 0 -37/2 -2 7/2
5: 2/65 x (-37/2S(1)+S(1))/S(21) x (-1-8S(-1))
5: rel 0 -37/2 -4 1/2
6: 2/65 x (-37/2S(1)+S(1))/S(21) x (1-8S(-1))
6: rel 0 -37/2 -4 -1/2
2: 1/20 x (-29S(1)+S(1))/S(21) x (-3-1S(-1))
2: rel 0 -29 -2 6
8: 2/65 x (-37/2S(1)+S(1))/S(21) x (7-4S(-1))
8: rel 0 -37/2 -2 -7/2
4: 2/17 x (-19/2S(1)+S(1))/S(21) x (-1-4S(-1))
4: rel 0 -19/2 -2 1/2
7: 2/17 x (-19/2S(1)+S(1))/S(21) x (1-4S(-1))
7: rel 0 -19/2 -2 -1/2
algebra:
B(-1,21) type= 2
gen= [ i, (5/2)*e+(1/2)*j, (9/2)*e+(7)*i+(3/2)*j+(-1)*k,
(3/2)*e+(2)*i+(1/2)*j, (2)*e+(9)*i+(2)*j, (9/2)*e+(-7)*i+(-3/2)*j+k,
(2)*e+(-9)*i+(-2)*j, (3/2)*e+(-2)*i+(-1/2)*j, (5/2)*e+(-1/2)*j ]
imap= [ 1, 9, 6, 8, 7, 3, 5, 4, 2 ]
rel= [ [ 1 ], [ 1, 9 ], [ 3, 5, 6, 2, 8 ], [ 4, 7 ] ]
grel= [ i, (5/2)*i+(-1/2)*k, (-37/2)*i+(-2)*j+(7/2)*k,
(-19/2)*i+(-2)*j+(1/2)*k ]
----------------------
D= 22
1: 0 (2-tor)
1: 1/3 x (-10S(1)+S(1))/S(11) x (-1+0S(-1))
1: rel 0 -10 0 3
9: 1/3 x (10S(1)-S(1))/S(11) x (-1+0S(-1))
9: rel 0 10 0 3
5: 1/3 x (10S(1)-S(1))/S(11) x (0+1S(-1))
5: rel 0 10 3 0
2: (-17S(1)+S(3))/(13S(11) x (-5/2-1/2S(-1))
2: rel -1/2 -17/2 -1/2 5/2
4: (-17S(1)+S(3))/(13S(11) x (-1/2-5/2S(-1))
4: rel -1/2 -17/2 -5/2 1/2
3: (5S(1)-S(3))/(1S(11) x (1/2+1/2S(-1))
3: rel 1/2 5/2 1/2 -1/2
6: (-17S(1)+S(3))/(13S(11) x (1/2-5/2S(-1))
6: rel -1/2 -17/2 -5/2 -1/2
8: (-17S(1)+S(3))/(13S(11) x (5/2-1/2S(-1))
8: rel -1/2 -17/2 -1/2 -5/2
7: (5S(1)-S(3))/(1S(11) x (-1/2+1/2S(-1))
7: rel 1/2 5/2 1/2 1/2
algebra:
B(-1,11) type= 1
gen= [ i, (9/2)*e+(11/2)*i+(3/2)*j+(-3/2)*k, (1/2)*e+(5/2)*i+(1/2)*j+(-1/2)*k,
(1/2)*e+(-5/2)*i+(-1/2)*j+(1/2)*k, (9/2)*e+(-11/2)*i+(-3/2)*j+(3/2)*k,
(9/2)*e+(11/2)*i+(3/2)*j+(3/2)*k, (1/2)*e+(5/2)*i+(1/2)*j+(1/2)*k,
(1/2)*e+(-5/2)*i+(-1/2)*j+(-1/2)*k, (9/2)*e+(-11/2)*i+(-3/2)*j+(-3/2)*k ]
imap= [ 1, 5, 4, 3, 2, 9, 8, 7, 6 ]
rel= [ [ 1 ], [ 1, 9, 5 ], [ 2, 4 ], [ 3 ], [ 6, 8 ], [ 7 ] ]
grel= [ i, (-10)*i+(3)*k, (-1/2)*e+(-17/2)*i+(-1/2)*j+(5/2)*k,
(1/2)*e+(5/2)*i+(1/2)*j+(-1/2)*k, (-1/2)*e+(-17/2)*i+(-5/2)*j+(-1/2)*k,
(1/2)*e+(5/2)*i+(1/2)*j+(1/2)*k ]
----------------------
D= 26
1: 1/9 x (-11S(2)+S(8))/S(26) x (-1-2S(-2))
1: rel 0 -11 -4 1
2: 1/9 x (-11S(2)+S(8))/S(26) x (1-2S(-2))
2: rel 0 -11 -4 -1
7: 1/22 x (-24S(2)+S(8))/S(26) x (-3+1S(-2))
7: rel 0 -24 4 6
4: 1/3 x (-11S(2)+S(8))/S(26) x (1+0S(-2))
4: rel 0 -11 0 -3
5: 1/9 x (-11S(2)+S(8))/S(26) x (1+2S(-2))
5: rel 0 -11 4 -1
6: 1/9 x (-11S(2)+S(8))/S(26) x (-1+2S(-2))
6: rel 0 -11 4 1
3: 1/22 x (-24S(2)+S(8))/S(26) x (3-1S(-2))
3: rel 0 -24 -4 -6
8: 1/3 x (-11S(2)+S(8))/S(26) x (-1+0S(-2))
8: rel 0 -11 0 3
algebra:
B(-2,13) type= 2
gen= [ (3/2)*e+i+(1/2)*j, (5/2)*e+(-3/2)*i+(-1/2)*j+(1/2)*k,
(3/2)*e+(-1)*i+(-1/2)*j, (5/2)*e+(3/2)*i+(-1/2)*j+(1/2)*k,
(3/2)*e+i+(-1/2)*j, (5/2)*e+(-3/2)*i+(1/2)*j+(-1/2)*k,
(3/2)*e+(-1)*i+(1/2)*j, (5/2)*e+(3/2)*i+(1/2)*j+(-1/2)*k ]
imap= [ 3, 8, 1, 6, 7, 4, 5, 2 ]
rel= [ [ 2, 7, 4, 5, 6, 3, 8, 1 ] ]
grel= [ (-1)*e ]
----------------------
D= 33
not enough generators, increase max norm to 2178
1: 0 (2-tor)
2: 2/85 x (-53/2S(1)+S(1))/S(33) x (-9-2S(-1))
2: rel 0 -53/2 -1 9/2
5: 2/85 x (-53/2S(1)+S(1))/S(33) x (-7-6S(-1))
5: rel 0 -53/2 -3 7/2
10: 2/85 x (-53/2S(1)+S(1))/S(33) x (7-6S(-1))
10: rel 0 -53/2 -3 -7/2
6: 2/1037 x (-185/2S(1)+S(1))/S(33) x (-19-26S(-1))
6: rel 0 -185/2 -13 19/2
1: 2/85 x (-53/2S(1)+S(1))/S(33) x (-9+2S(-1))
1: rel 0 -53/2 1 9/2
13: 2/85 x (53/2S(1)-S(1))/S(33) x (-9+2S(-1))
13: rel 0 53/2 1 9/2
3: (-60S(1)+S(3))/(109/2S(33) x (-5-3/2S(-1))
3: rel -1/2 -30 -3/2 5
12: (-60S(1)+S(3))/(109/2S(33) x (5-3/2S(-1))
12: rel -1/2 -30 -3/2 -5
4: 2/29 x (-31/2S(1)+S(1))/S(33) x (-5-2S(-1))
4: rel 0 -31/2 -1 5/2
11: 2/29 x (-31/2S(1)+S(1))/S(33) x (5-2S(-1))
11: rel 0 -31/2 -1 -5/2
7: 2/5 x (-13/2S(1)+S(1))/S(33) x (-1-2S(-1))
7: rel 0 -13/2 -1 1/2
9: 2/5 x (-13/2S(1)+S(1))/S(33) x (1-2S(-1))
9: rel 0 -13/2 -1 -1/2
8: (6S(1)-S(3))/(1/2S(33) x (0+1/2S(-1))
8: rel 1/2 3 1/2 0
algebra:
B(-1,33) type= 2
gen= [ i, (5/2)*e+(6)*i+(1/2)*j+(-1)*k, (39/2)*e+(5)*i+(7/2)*j,
(27/2)*e+(5)*i+(5/2)*j, (5)*e+(3)*i+j, (5/2)*e+(-6)*i+(-1/2)*j+k,
(3)*e+(5)*i+j, (1/2)*e+(3)*i+(1/2)*j, (1/2)*e+(-3)*i+(-1/2)*j,
(3)*e+(-5)*i+(-1)*j, (5)*e+(-3)*i+(-1)*j, (27/2)*e+(-5)*i+(-5/2)*j,
(39/2)*e+(-5)*i+(-7/2)*j ]
imap= [ 1, 6, 13, 12, 11, 2, 10, 9, 8, 7, 5, 4, 3 ]
rel= [ [ 1 ], [ 2, 5, 10, 6, 1, 13 ], [ 3, 12 ], [ 4, 11 ], [ 7, 9 ], [ 8 ] ]
grel= [ i, (-53/2)*i+(-1)*j+(9/2)*k, (-1/2)*e+(-30)*i+(-3/2)*j+(5)*k,
(-31/2)*i+(-1)*j+(5/2)*k, (-13/2)*i+(-1)*j+(1/2)*k, (1/2)*e+(3)*i+(1/2)*j ]
----------------------
D= 34
not enough generators, increase max norm to 2312
not enough generators, increase max norm to 4624
not enough generators, increase max norm to 9248
2: (2S(34)-S(3))/(133/10S(170) x (34/5+23/10S(-34))
2: rel 1/2 1 23/10 -1/5
5: (1S(34)-S(3))/(31/10S(170) x (-17/5+11/10S(-34))
5: rel 1/2 1/2 11/10 1/10
7: (2S(34)-S(3))/(133/10S(170) x (-34/5-23/10S(-34))
7: rel 1/2 1 -23/10 1/5
10: (4S(34)-S(3))/(541/10S(170) x (136/5-23/10S(-34))
10: rel 1/2 2 -23/10 -4/5
8: (7S(34)-S(3))/(1663/10S(170) x (17/5-91/10S(-34))
8: rel 1/2 7/2 -91/10 -1/10
3: (25S(34)-S(3))/(21247/10S(170) x (221/5+317/10S(-34))
3: rel 1/2 25/2 317/10 -13/10
1: (19S(34)-S(3))/(12271/10S(170) x (493/5+181/10S(-34))
1: rel 1/2 19/2 181/10 -29/10
6: (23S(34)-S(3))/(17983/10S(170) x (-697/5+181/10S(-34))
6: rel 1/2 23/2 181/10 41/10
4: (14S(34)-S(3))/(6661/10S(170) x (68/5+181/10S(-34))
4: rel 1/2 7 181/10 -2/5
9: (1S(34)-S(3))/(31/10S(170) x (17/5-11/10S(-34))
9: rel 1/2 1/2 -11/10 -1/10
algebra:
B(-34,5) type= 3 aux= 1
gen= [ (3/2)*e+(1/2)*j, (1/2)*e+i+(23/10)*j+(-1/5)*k,
(1/2)*e+(-1)*i+(-23/10)*j+(1/5)*k, (8)*e+(3/5)*j+(3/5)*k,
(1/2)*e+(1/2)*i+(11/10)*j+(1/10)*k, (1/2)*e+(-1/2)*i+(-11/10)*j+(-1/10)*k,
(3/2)*e+(-1/2)*j, (8)*e+(-3/5)*j+(-3/5)*k,
(1/2)*e+(1/2)*i+(-11/10)*j+(-1/10)*k, (1/2)*e+(-1/2)*i+(11/10)*j+(1/10)*k ]
imap= [ 7, 3, 2, 8, 6, 5, 1, 4, 10, 9 ]
rel= [ [ 2 ], [ 5 ], [ 7, 10, 8, 3, 1, 6, 4 ], [ 9 ] ]
grel= [ (1/2)*e+i+(23/10)*j+(-1/5)*k, (1/2)*e+(1/2)*i+(11/10)*j+(1/10)*k,
(1/2)*e+i+(-23/10)*j+(1/5)*k, (1/2)*e+(1/2)*i+(-11/10)*j+(-1/10)*k ]
----------------------
D= 35
1: 1/16 x (-9S(7)+S(7))/S(35) x (-3-1S(-7))
1: rel 0 -9 -7 3
6: 1/16 x (-9S(7)+S(7))/S(35) x (3-1S(-7))
6: rel 0 -9 -7 -3
8: 1/24 x (-19S(7)+S(7))/S(35) x (1+1S(-7))
8: rel 0 -19 21 -3
4: 1/583 x (-54S(7)+S(7))/S(35) x (4-9S(-7))
4: rel 0 -54 -63 -4
9: 1/583 x (-54S(7)+S(7))/S(35) x (4+9S(-7))
9: rel 0 -54 63 -4
5: 1/24 x (-19S(7)+S(7))/S(35) x (1-1S(-7))
5: rel 0 -19 -21 -3
7: 1/16 x (-9S(7)+S(7))/S(35) x (3+1S(-7))
7: rel 0 -9 7 -3
12: 1/16 x (-9S(7)+S(7))/S(35) x (-3+1S(-7))
12: rel 0 -9 7 3
2: 1/24 x (-19S(7)+S(7))/S(35) x (-1-1S(-7))
2: rel 0 -19 -21 3
10: 1/583 x (-54S(7)+S(7))/S(35) x (-4+9S(-7))
10: rel 0 -54 63 4
3: 1/583 x (-54S(7)+S(7))/S(35) x (-4-9S(-7))
3: rel 0 -54 -63 4
11: 1/24 x (-19S(7)+S(7))/S(35) x (-1+1S(-7))
11: rel 0 -19 21 3
algebra:
B(-7,5) type= 2
gen= [ (3/2)*e+(1/2)*j, (11/2)*e+(-1)*i+(1/2)*j+k, (11/2)*e+(-1)*i+(-1/2)*j+k,
(6)*e+k, (11/2)*e+i+(1/2)*j+k, (11/2)*e+i+(-1/2)*j+k, (3/2)*e+(-1/2)*j,
(11/2)*e+(-1)*i+(-1/2)*j+(-1)*k, (11/2)*e+(-1)*i+(1/2)*j+(-1)*k,
(6)*e+(-1)*k, (11/2)*e+i+(-1/2)*j+(-1)*k, (11/2)*e+i+(1/2)*j+(-1)*k ]
imap= [ 7, 11, 12, 10, 8, 9, 1, 5, 6, 4, 2, 3 ]
rel= [ [ 5, 7, 12, 2, 10, 3, 11, 1, 6, 8, 4, 9 ] ]
grel= [ (-1)*e ]
----------------------
D= 38
1: 0 (2-tor)
2: 1/17 x (-18S(1)+S(1))/S(19) x (-4-1S(-1))
2: rel 0 -18 -1 4
7: 1/12 x (-37S(1)+S(1))/S(19) x (1-1S(-1))
7: rel 0 -37 -6 -6
4: 1/17 x (-18S(1)+S(1))/S(19) x (-1-4S(-1))
4: rel 0 -18 -4 1
5: 1/17 x (-18S(1)+S(1))/S(19) x (1-4S(-1))
5: rel 0 -18 -4 -1
6: 1/148 x (-75S(1)+S(1))/S(19) x (5-7S(-1))
6: rel 0 -75 -14 -10
3: 1/12 x (-37S(1)+S(1))/S(19) x (-1-1S(-1))
3: rel 0 -37 -6 6
8: 1/148 x (-75S(1)+S(1))/S(19) x (7-5S(-1))
8: rel 0 -75 -10 -14
1: 1/17 x (-18S(1)+S(1))/S(19) x (-4+1S(-1))
1: rel 0 -18 1 4
9: 1/17 x (18S(1)-S(1))/S(19) x (-4+1S(-1))
9: rel 0 18 1 4
algebra:
B(-1,19) type= 1
gen= [ i, (13/2)*e+(5/2)*i+(3/2)*j+(-1/2)*k, (4)*e+(2)*i+j, (2)*e+(4)*i+j,
(5/2)*e+(13/2)*i+(3/2)*j+(1/2)*k, (2)*e+(-4)*i+(-1)*j,
(5/2)*e+(-13/2)*i+(-3/2)*j+(-1/2)*k, (13/2)*e+(-5/2)*i+(-3/2)*j+(1/2)*k,
(4)*e+(-2)*i+(-1)*j ]
imap= [ 1, 8, 9, 6, 7, 4, 5, 2, 3 ]
rel= [ [ 1 ], [ 2, 7, 4, 5, 6, 3, 8, 1, 9 ] ]
grel= [ i, (-18)*i+(-1)*j+(4)*k ]
----------------------
D= 39
not enough generators, increase max norm to 3042
not enough generators, increase max norm to 6084
not enough generators, increase max norm to 12168
not enough generators, increase max norm to 24336
not enough generators, increase max norm to 48672
not enough generators, increase max norm to 97344
1: 2/6557 x (-81/2S(39)+S(39))/S(195) x (-151-16S(-39))
1: rel 0 -81/2 -312/5 151/10
6: 2/3245 x (-57/2S(39)+S(39))/S(195) x (79-16S(-39))
6: rel 0 -57/2 -312/5 -79/10
11: 2/793 x (-63/2S(39)+S(39))/S(195) x (-13+4S(-39))
11: rel 0 -63/2 78 13/2
4: 2/6557 x (-81/2S(39)+S(39))/S(195) x (47-28S(-39))
4: rel 0 -81/2 -546/5 -47/10
9: 2/649 x (-57/2S(39)+S(39))/S(195) x (-5+4S(-39))
9: rel 0 -57/2 78 5/2
2: 2/793 x (-63/2S(39)+S(39))/S(195) x (-13-4S(-39))
2: rel 0 -63/2 -78 13/2
7: 2/6557 x (-81/2S(39)+S(39))/S(195) x (151+16S(-39))
7: rel 0 -81/2 312/5 -151/10
12: 2/3245 x (-57/2S(39)+S(39))/S(195) x (-79+16S(-39))
12: rel 0 -57/2 312/5 79/10
5: 2/793 x (-63/2S(39)+S(39))/S(195) x (13-4S(-39))
5: rel 0 -63/2 -78 -13/2
10: 2/6557 x (-81/2S(39)+S(39))/S(195) x (-47+28S(-39))
10: rel 0 -81/2 546/5 47/10
3: 2/649 x (-57/2S(39)+S(39))/S(195) x (5-4S(-39))
3: rel 0 -57/2 -78 -5/2
8: 2/793 x (-63/2S(39)+S(39))/S(195) x (13+4S(-39))
8: rel 0 -63/2 78 -13/2
algebra:
B(-39,5) type= 3 aux= 1
gen= [ (3/2)*e+(1/2)*j, (4)*e+(6/5)*j+(1/5)*k, (3)*e+(1/5)*j+(1/5)*k,
(23)*e+(-12/5)*j+(8/5)*k, (9)*e+(-7/5)*j+(3/5)*k, (10)*e+(-12/5)*j+(3/5)*k,
(3/2)*e+(-1/2)*j, (4)*e+(-6/5)*j+(-1/5)*k, (3)*e+(-1/5)*j+(-1/5)*k,
(23)*e+(12/5)*j+(-8/5)*k, (9)*e+(7/5)*j+(-3/5)*k, (10)*e+(12/5)*j+(-3/5)*k ]
imap= [ 7, 8, 9, 10, 11, 12, 1, 2, 3, 4, 5, 6 ]
rel= [ [ 1, 6, 11, 4, 9, 2, 7, 12, 5, 10, 3, 8 ] ]
grel= [ e ]
----------------------
D= 46
not enough generators, increase max norm to 4232
not enough generators, increase max norm to 8464
1: 0 (2-tor)
1: (-85S(1)+S(3))/(157S(23) x (-17/2+5/2S(-1))
1: rel -1/2 -85/2 5/2 17/2
13: (85S(1)-S(3))/(157S(23) x (-17/2+5/2S(-1))
13: rel 1/2 85/2 5/2 17/2
8: (85S(1)-S(3))/(157S(23) x (-5/2+17/2S(-1))
8: rel 1/2 85/2 17/2 5/2
2: (-85S(1)+S(3))/(157S(23) x (-17/2-5/2S(-1))
2: rel -1/2 -85/2 -5/2 17/2
7: (-85S(1)+S(3))/(157S(23) x (-5/2-17/2S(-1))
7: rel -1/2 -85/2 -17/2 5/2
3: 1/60 x (-91S(1)+S(1))/S(23) x (-3-1S(-1))
3: rel 0 -91 -6 18
6: 1/60 x (-91S(1)+S(1))/S(23) x (-1-3S(-1))
6: rel 0 -91 -18 6
9: 1/60 x (-91S(1)+S(1))/S(23) x (1-3S(-1))
9: rel 0 -91 -18 -6
12: 1/60 x (-91S(1)+S(1))/S(23) x (3-1S(-1))
12: rel 0 -91 -6 -18
10: 1/565 x (-114S(1)+S(1))/S(23) x (9-22S(-1))
10: rel 0 -114 -22 -9
5: 1/565 x (-114S(1)+S(1))/S(23) x (-9-22S(-1))
5: rel 0 -114 -22 9
4: (7S(1)-S(3))/(1S(23) x (1/2+1/2S(-1))
4: rel 1/2 7/2 1/2 -1/2
11: (7S(1)-S(3))/(1S(23) x (-1/2+1/2S(-1))
11: rel 1/2 7/2 1/2 1/2
algebra:
B(-1,23) type= 1
gen= [ i, (5/2)*e+(5/2)*i+(1/2)*j+(-1/2)*k, (19)*e+(36)*i+(6)*j+(-6)*k,
(1/2)*e+(7/2)*i+(1/2)*j+(-1/2)*k, (1/2)*e+(-7/2)*i+(-1/2)*j+(1/2)*k,
(10)*e+(27)*i+(6)*j, (19)*e+(-36)*i+(-6)*j+(6)*k,
(5/2)*e+(-5/2)*i+(-1/2)*j+(1/2)*k, (19)*e+(36)*i+(6)*j+(6)*k,
(10)*e+(-27)*i+(-6)*j, (1/2)*e+(7/2)*i+(1/2)*j+(1/2)*k,
(1/2)*e+(-7/2)*i+(-1/2)*j+(-1/2)*k, (19)*e+(-36)*i+(-6)*j+(-6)*k ]
imap= [ 1, 8, 7, 5, 4, 10, 3, 2, 13, 6, 12, 11, 9 ]
rel= [ [ 1 ], [ 1, 13, 8 ], [ 2, 7 ], [ 3, 6, 9, 12, 10, 5 ], [ 4 ], [ 11 ] ]
grel= [ i, (-1/2)*e+(-85/2)*i+(5/2)*j+(17/2)*k,
(-1/2)*e+(-85/2)*i+(-5/2)*j+(17/2)*k, (-91)*i+(-6)*j+(18)*k,
(1/2)*e+(7/2)*i+(1/2)*j+(-1/2)*k, (1/2)*e+(7/2)*i+(1/2)*j+(1/2)*k ]
----------------------
D= 51
14: (-50S(3)+S(3))/(441/2S(51) x (-18-3/2S(-3))
14: rel -1/2 -25 -3/2 6
3: (-152S(3)+S(3))/(4077/2S(51) x (-9-63/2S(-3))
3: rel -1/2 -76 -63/2 3
10: (-50S(3)+S(3))/(441/2S(51) x (0+21/2S(-3))
10: rel -1/2 -25 21/2 0
6: (-50S(3)+S(3))/(441/2S(51) x (18-3/2S(-3))
6: rel -1/2 -25 -3/2 -6
7: (-50S(3)+S(3))/(441/2S(51) x (18+3/2S(-3))
7: rel -1/2 -25 3/2 -6
9: (-152S(3)+S(3))/(4077/2S(51) x (9+63/2S(-3))
9: rel -1/2 -76 63/2 -3
11: (-220S(3)+S(3))/(8541/2S(51) x (-27+87/2S(-3))
11: rel -1/2 -110 87/2 9
2: (-118S(3)+S(3))/(2457/2S(51) x (-18-45/2S(-3))
2: rel -1/2 -59 -45/2 6
4: (-50S(3)+S(3))/(441/2S(51) x (0-21/2S(-3))
4: rel -1/2 -25 -21/2 0
13: (-50S(3)+S(3))/(441/2S(51) x (-18+3/2S(-3))
13: rel -1/2 -25 3/2 6
1: (-18S(3)+S(3))/(57/2S(51) x (-6-3/2S(-3))
1: rel -1/2 -9 -3/2 2
12: (-18S(3)+S(3))/(57/2S(51) x (-6+3/2S(-3))
12: rel -1/2 -9 3/2 2
8: (-18S(3)+S(3))/(57/2S(51) x (6+3/2S(-3))
8: rel -1/2 -9 3/2 -2
5: (-18S(3)+S(3))/(57/2S(51) x (6-3/2S(-3))
5: rel -1/2 -9 -3/2 -2
algebra:
B(-3,17) type= 2
gen= [ (2)*e+(-4)*i+k, (3/2)*e+i+(1/2)*j, (7)*e+(-1)*i+k,
(13/2)*e+(-4)*i+(-3/2)*j+k, (3/2)*e+(-1)*i+(-1/2)*j, (2)*e+(4)*i+k,
(13/2)*e+(4)*i+(-3/2)*j+k, (2)*e+(-4)*i+(-1)*k, (3/2)*e+i+(-1/2)*j,
(13/2)*e+(-4)*i+(3/2)*j+(-1)*k, (7)*e+i+(-1)*k, (3/2)*e+(-1)*i+(1/2)*j,
(2)*e+(4)*i+(-1)*k, (13/2)*e+(4)*i+(3/2)*j+(-1)*k ]
imap= [ 13, 5, 11, 14, 2, 8, 10, 6, 12, 7, 3, 9, 1, 4 ]
rel= [ [ 14, 3, 10, 6, 7, 9, 11, 2, 4, 13 ], [ 1, 12, 8, 5 ] ]
grel= [ (-1/2)*e+(-25)*i+(-3/2)*j+(6)*k, (-1/2)*e+(-9)*i+(-3/2)*j+(2)*k ]
----------------------
D= 55
not enough generators, increase max norm to 6050
not enough generators, increase max norm to 12100
not enough generators, increase max norm to 24200
not enough generators, increase max norm to 48400
not enough generators, increase max norm to 96800
not enough generators, increase max norm to 193600
4: (2S(55)-S(3))/(217/26S(715) x (55/13+51/26S(-55))
4: rel 1/2 1 51/26 -1/13
9: (2S(55)-S(3))/(217/26S(715) x (-165/13+29/26S(-55))
9: rel 1/2 1 29/26 3/13
14: (2S(55)-S(3))/(217/26S(715) x (-55/13-51/26S(-55))
14: rel 1/2 1 -51/26 1/13
17: (2S(55)-S(3))/(217/26S(715) x (165/13-29/26S(-55))
17: rel 1/2 1 -29/26 -3/13
7: (14S(55)-S(3))/(829/2S(715) x (-825/13+301/26S(-55))
7: rel 1/2 7 301/26 15/13
15: (22S(55)-S(3))/(26617/26S(715) x (385/13-579/26S(-55))
15: rel 1/2 11 -579/26 -7/13
13: (184S(55)-S(3))/(1862077/26S(715) x (-7040/13-4539/26S(-55))
13: rel 1/2 92 -4539/26 128/13
2: (206S(55)-S(3))/(2333977/26S(715) x (17985/13+2611/26S(-55))
2: rel 1/2 103 2611/26 -327/13
11: (142S(55)-S(3))/(85309/2S(715) x (-13915/13-579/26S(-55))
11: rel 1/2 71 -579/26 253/13
18: (100S(55)-S(3))/(549997/26S(715) x (9680/13-579/26S(-55))
18: rel 1/2 50 -579/26 -176/13
5: (110S(55)-S(3))/(665497/26S(715) x (-165/13+2941/26S(-55))
5: rel 1/2 55 2941/26 3/13
3: (320S(55)-S(3))/(5631997/26S(715) x (13200/13+7781/26S(-55))
3: rel 1/2 160 7781/26 -240/13
12: (298S(55)-S(3))/(375709/2S(715) x (-2035-273/2S(-55))
12: rel 1/2 149 -273/2 37
1: (122S(55)-S(3))/(818617/26S(715) x (12045/13+301/26S(-55))
1: rel 1/2 61 301/26 -219/13
10: (32S(55)-S(3))/(56317/26S(715) x (-2970/13+301/26S(-55))
10: rel 1/2 16 301/26 54/13
8: (40S(55)-S(3))/(6769/2S(715) x (-220+57/2S(-55))
8: rel 1/2 20 57/2 4
16: (40S(55)-S(3))/(6769/2S(715) x (2090/13-909/26S(-55))
16: rel 1/2 20 -909/26 -38/13
6: (32S(55)-S(3))/(56317/26S(715) x (-330/13+851/26S(-55))
6: rel 1/2 16 851/26 6/13
algebra:
B(-55,13) type= 3 aux= 7
gen= [ (11/2)*e+(3/2)*j, (6)*e+(20/13)*j+(1/13)*k, (3)*e+(7/13)*j+(1/13)*k,
(1/2)*e+i+(51/26)*j+(-1/13)*k, (1/2)*e+(-1)*i+(-51/26)*j+(1/13)*k,
(11)*e+(-1)*i+(-30/13)*j+(5/13)*k, (9/2)*e+(-11/26)*j+(2/13)*k,
(8)*e+(-18/13)*j+(3/13)*k, (1/2)*e+i+(29/26)*j+(3/13)*k,
(1/2)*e+(-1)*i+(-29/26)*j+(-3/13)*k, (11/2)*e+(-3/2)*j,
(6)*e+(-20/13)*j+(-1/13)*k, (3)*e+(-7/13)*j+(-1/13)*k,
(1/2)*e+i+(-51/26)*j+(1/13)*k, (1/2)*e+(-1)*i+(51/26)*j+(-1/13)*k,
(9/2)*e+(11/26)*j+(-2/13)*k, (8)*e+(18/13)*j+(-3/13)*k,
(11)*e+i+(30/13)*j+(-5/13)*k ]
imap= [ 11, 12, 13, 5, 4, 18, 16, 17, 10, 9, 1, 2, 3, 15, 14, 7, 8, 6 ]
rel=
[ [ 4 ], [ 9 ], [ 14 ], [ 17, 7, 15, 13, 2, 11, 18, 5, 3, 12, 1, 10, 8, 16, 6
] ]
grel= [ (1/2)*e+i+(51/26)*j+(-1/13)*k, (1/2)*e+i+(29/26)*j+(3/13)*k,
(1/2)*e+i+(-51/26)*j+(1/13)*k, (1/2)*e+i+(-29/26)*j+(-3/13)*k ]
----------------------
D= 57
not enough generators, increase max norm to 6498
not enough generators, increase max norm to 12996
1: 0 (2-tor)
3: 1/52 x (77S(1)-S(1))/S(57) x (5+1S(-1))
3: rel 0 77 2 -10
16: 1/52 x (77S(1)-S(1))/S(57) x (-5+1S(-1))
16: rel 0 77 2 10
4: 2/5365 x (553/2S(1)-S(1))/S(57) x (71+18S(-1))
4: rel 0 553/2 9 -71/2
8: 2/17861 x (1009/2S(1)-S(1))/S(57) x (31+130S(-1))
8: rel 0 1009/2 65 -31/2
11: 2/50285 x (1693/2S(1)-S(1))/S(57) x (-67+214S(-1))
11: rel 0 1693/2 107 67/2
1: 2/5365 x (553/2S(1)-S(1))/S(57) x (73-6S(-1))
1: rel 0 553/2 -3 -73/2
17: 2/5365 x (-553/2S(1)+S(1))/S(57) x (73-6S(-1))
17: rel 0 -553/2 -3 -73/2
2: 2/1853 x (-325/2S(1)+S(1))/S(57) x (-43-2S(-1))
2: rel 0 -325/2 -1 43/2
10: 1/52 x (-77S(1)+S(1))/S(57) x (1-5S(-1))
10: rel 0 -77 -10 -2
13: 2/5365 x (-553/2S(1)+S(1))/S(57) x (57-46S(-1))
13: rel 0 -553/2 -23 -57/2
6: 2/1853 x (-325/2S(1)+S(1))/S(57) x (-37-22S(-1))
6: rel 0 -325/2 -11 37/2
14: 2/1853 x (-325/2S(1)+S(1))/S(57) x (37-22S(-1))
14: rel 0 -325/2 -11 -37/2
9: 1/52 x (-77S(1)+S(1))/S(57) x (-1-5S(-1))
9: rel 0 -77 -10 2
5: 2/53 x (-55/2S(1)+S(1))/S(57) x (-7-2S(-1))
5: rel 0 -55/2 -1 7/2
15: 2/53 x (-55/2S(1)+S(1))/S(57) x (7-2S(-1))
15: rel 0 -55/2 -1 -7/2
7: 2/5 x (-17/2S(1)+S(1))/S(57) x (-1-2S(-1))
7: rel 0 -17/2 -1 1/2
12: 2/5 x (-17/2S(1)+S(1))/S(57) x (1-2S(-1))
12: rel 0 -17/2 -1 -1/2
algebra:
B(-1,57) type= 2
gen= [ i, (15)*e+(23/2)*i+(2)*j+(-3/2)*k, (15)*e+(2)*i+(2)*j,
(23)*e+(36)*i+(4)*j+(-4)*k, (51/2)*e+(7)*i+(7/2)*j, (7)*e+(3)*i+j,
(5/2)*e+(3)*i+(1/2)*j, (3)*e+(7)*i+j, (23)*e+(-36)*i+(-4)*j+(4)*k,
(4)*e+(15/2)*i+j+(1/2)*k, (15)*e+(-23/2)*i+(-2)*j+(3/2)*k,
(3)*e+(-7)*i+(-1)*j, (5/2)*e+(-3)*i+(-1/2)*j,
(4)*e+(-15/2)*i+(-1)*j+(-1/2)*k, (7)*e+(-3)*i+(-1)*j,
(51/2)*e+(-7)*i+(-7/2)*j, (15)*e+(-2)*i+(-2)*j ]
imap= [ 1, 11, 17, 9, 16, 15, 13, 12, 4, 14, 2, 8, 7, 10, 6, 5, 3 ]
rel= [ [ 1 ], [ 3, 16, 4, 8, 11, 1, 17, 2, 10, 13, 6, 14, 9 ], [ 5, 15 ],
[ 7, 12 ] ]
grel= [ i, (77)*i+(2)*j+(-10)*k, (-55/2)*i+(-1)*j+(7/2)*k,
(-17/2)*i+(-1)*j+(1/2)*k ]
----------------------
D= 58
2: (-25S(2)+S(3))/(43/2S(58) x (-3-5/2S(-2))
2: rel -1/2 -25/2 -5/2 3/2
5: (-25S(2)+S(3))/(43/2S(58) x (3-5/2S(-2))
5: rel -1/2 -25/2 -5/2 -3/2
3: (-54S(2)+S(3))/(201/2S(58) x (-4-13/2S(-2))
3: rel -1/2 -27 -13/2 2
6: (-83S(2)+S(3))/(475/2S(58) x (15-5/2S(-2))
6: rel -1/2 -83/2 -5/2 -15/2
1: (-54S(2)+S(3))/(201/2S(58) x (-10-1/2S(-2))
1: rel -1/2 -27 -1/2 5
7: (-54S(2)+S(3))/(201/2S(58) x (10-1/2S(-2))
7: rel -1/2 -27 -1/2 -5
4: (4S(2)-S(3))/(1/2S(58) x (0+1/2S(-2))
4: rel 1/2 2 1/2 0
9: (-25S(2)+S(3))/(43/2S(58) x (3+5/2S(-2))
9: rel -1/2 -25/2 5/2 -3/2
12: (-25S(2)+S(3))/(43/2S(58) x (-3+5/2S(-2))
12: rel -1/2 -25/2 5/2 3/2
10: (-54S(2)+S(3))/(201/2S(58) x (4+13/2S(-2))
10: rel -1/2 -27 13/2 -2
13: (-83S(2)+S(3))/(475/2S(58) x (-15+5/2S(-2))
13: rel -1/2 -83/2 5/2 15/2
8: (-54S(2)+S(3))/(201/2S(58) x (10+1/2S(-2))
8: rel -1/2 -27 1/2 -5
14: (-54S(2)+S(3))/(201/2S(58) x (-10+1/2S(-2))
14: rel -1/2 -27 1/2 5
11: (4S(2)-S(3))/(1/2S(58) x (0-1/2S(-2))
11: rel 1/2 2 -1/2 0
algebra:
B(-2,29) type= 2
gen= [ (27/2)*e+(5/2)*j, (5/2)*e+i+(1/2)*j, (15/2)*e+(7/2)*i+(3/2)*j+(1/2)*k,
(1/2)*e+(2)*i+(1/2)*j, (1/2)*e+(-2)*i+(-1/2)*j, (5/2)*e+(-1)*i+(-1/2)*j,
(15/2)*e+(-7/2)*i+(-3/2)*j+(-1/2)*k, (27/2)*e+(-5/2)*j, (5/2)*e+i+(-1/2)*j,
(15/2)*e+(7/2)*i+(-3/2)*j+(-1/2)*k, (1/2)*e+(2)*i+(-1/2)*j,
(1/2)*e+(-2)*i+(1/2)*j, (5/2)*e+(-1)*i+(1/2)*j,
(15/2)*e+(-7/2)*i+(3/2)*j+(1/2)*k ]
imap= [ 8, 6, 7, 5, 4, 2, 3, 1, 13, 14, 12, 11, 9, 10 ]
rel= [ [ 2, 5, 3, 6, 1, 7 ], [ 4 ], [ 9, 12, 10, 13, 8, 14 ], [ 11 ] ]
grel= [ (-1/2)*e+(-25/2)*i+(-5/2)*j+(3/2)*k, (1/2)*e+(2)*i+(1/2)*j,
(-1/2)*e+(-25/2)*i+(5/2)*j+(-3/2)*k, (1/2)*e+(2)*i+(-1/2)*j ]
----------------------
D= 62
1: 0 (2-tor)
4: 1/29 x (-30S(1)+S(1))/S(31) x (-5-2S(-1))
4: rel 0 -30 -2 5
8: 1/29 x (-30S(1)+S(1))/S(31) x (-2-5S(-1))
8: rel 0 -30 -5 2
10: 1/29 x (-30S(1)+S(1))/S(31) x (2-5S(-1))
10: rel 0 -30 -5 -2
6: 1/5213 x (-402S(1)+S(1))/S(31) x (-43-58S(-1))
6: rel 0 -402 -58 43
11: 1/831 x (-278S(1)+S(1))/S(31) x (9-14S(-1))
11: rel 0 -278 -42 -27
7: 1/5213 x (-402S(1)+S(1))/S(31) x (-37-62S(-1))
7: rel 0 -402 -62 37
9: 1/255 x (-154S(1)+S(1))/S(31) x (-2-9S(-1))
9: rel 0 -154 -27 6
3: 1/255 x (-154S(1)+S(1))/S(31) x (-9-2S(-1))
3: rel 0 -154 -6 27
12: 1/29 x (-30S(1)+S(1))/S(31) x (5-2S(-1))
12: rel 0 -30 -2 -5
5: 1/255 x (-154S(1)+S(1))/S(31) x (-7-6S(-1))
5: rel 0 -154 -18 21
1: 1/244 x (-123S(1)+S(1))/S(31) x (-11+1S(-1))
1: rel 0 -123 2 22
13: 1/244 x (123S(1)-S(1))/S(31) x (-11+1S(-1))
13: rel 0 123 2 22
2: 1/244 x (123S(1)-S(1))/S(31) x (11+1S(-1))
2: rel 0 123 2 -22
algebra:
B(-1,31) type= 1
gen= [ i, (5/2)*e+(17/2)*i+(1/2)*j+(-3/2)*k, (11)*e+(2)*i+(2)*j,
(11/2)*e+(21/2)*i+(3/2)*j+(-3/2)*k, (5/2)*e+(-17/2)*i+(-1/2)*j+(3/2)*k,
(4)*e+(4)*i+j, (5/2)*e+(17/2)*i+(3/2)*j+(-1/2)*k, (5)*e+(10)*i+(2)*j,
(11/2)*e+(-21/2)*i+(-3/2)*j+(3/2)*k, (5/2)*e+(-17/2)*i+(-3/2)*j+(1/2)*k,
(5)*e+(-10)*i+(-2)*j, (4)*e+(-4)*i+(-1)*j, (11)*e+(-2)*i+(-2)*j ]
imap= [ 1, 5, 13, 9, 2, 12, 10, 11, 4, 7, 8, 6, 3 ]
rel= [ [ 1 ], [ 4, 8, 10, 6, 11, 7, 9, 3, 12, 5, 1, 13, 2 ] ]
grel= [ i, (-30)*i+(-2)*j+(5)*k ]
----------------------
D= 65
4: 2/129 x (41/2S(5)-S(5))/S(65) x (7+4S(-5))
4: rel 0 41/2 10 -7/2
7: 2/129 x (41/2S(5)-S(5))/S(65) x (-7+4S(-5))
7: rel 0 41/2 10 7/2
11: 1/108 x (53S(5)-S(5))/S(65) x (-7-1S(-5))
11: rel 0 53 -10 14
15: 2/28905 x (613/2S(5)-S(5))/S(65) x (-5-76S(-5))
15: rel 0 613/2 -190 5/2
5: 2/28905 x (613/2S(5)-S(5))/S(65) x (-5+76S(-5))
5: rel 0 613/2 190 5/2
16: 1/8460 x (469S(5)-S(5))/S(65) x (5-29S(-5))
16: rel 0 469 -290 -10
10: 2/436089 x (2381/2S(5)-S(5))/S(65) x (-653-44S(-5))
10: rel 0 2381/2 -110 653/2
20: 2/197169 x (1601/2S(5)-S(5))/S(65) x (433-44S(-5))
20: rel 0 1601/2 -110 -433/2
1: 2/6969 x (301/2S(5)-S(5))/S(65) x (83+4S(-5))
1: rel 0 301/2 10 -83/2
9: 1/108 x (53S(5)-S(5))/S(65) x (-7+1S(-5))
9: rel 0 53 10 14
13: 2/129 x (41/2S(5)-S(5))/S(65) x (-7-4S(-5))
13: rel 0 41/2 -10 7/2
18: 2/129 x (41/2S(5)-S(5))/S(65) x (7-4S(-5))
18: rel 0 41/2 -10 -7/2
2: 1/108 x (53S(5)-S(5))/S(65) x (7+1S(-5))
2: rel 0 53 10 -14
19: 1/108 x (53S(5)-S(5))/S(65) x (7-1S(-5))
19: rel 0 53 -10 -14
12: 1/120 x (79S(5)-S(5))/S(65) x (-5-1S(-5))
12: rel 0 79 -20 20
6: 2/6969 x (301/2S(5)-S(5))/S(65) x (-43+32S(-5))
6: rel 0 301/2 80 43/2
14: 1/644 x (183S(5)-S(5))/S(65) x (-6-5S(-5))
14: rel 0 183 -100 24
8: 2/11725 x (873/2S(5)-S(5))/S(65) x (-45+8S(-5))
8: rel 0 873/2 100 225/2
3: 2/17283 x (821/2S(5)-S(5))/S(65) x (71+12S(-5))
3: rel 0 821/2 90 -213/2
17: 1/36 x (53S(5)-S(5))/S(65) x (1-1S(-5))
17: rel 0 53 -30 -6
algebra:
B(-5,13) type= 2
gen= [ (11/2)*e+(3/2)*j, (4)*e+(-7)*i+(2)*k, (21/2)*e+(-6)*i+(3/2)*j+(2)*k,
(3)*e+i+j, (4)*e+(-1/2)*i+(1/2)*k, (4)*e+(1/2)*i+(1/2)*k,
(21/2)*e+(6)*i+(3/2)*j+(2)*k, (3)*e+(-1)*i+(-1)*j,
(21/2)*e+(6)*i+(-3/2)*j+(2)*k, (11/2)*e+(-3/2)*j,
(12)*e+(13/2)*i+(-4)*j+(3/2)*k, (21/2)*e+(-6)*i+(-3/2)*j+(-2)*k,
(3)*e+i+(-1)*j, (21/2)*e+(-6)*i+(3/2)*j+(-2)*k, (4)*e+(-1/2)*i+(-1/2)*k,
(12)*e+(-13/2)*i+(4)*j+(-3/2)*k, (4)*e+(1/2)*i+(-1/2)*k,
(21/2)*e+(6)*i+(-3/2)*j+(-2)*k, (3)*e+(-1)*i+j, (4)*e+(7)*i+(-2)*k ]
imap= [ 10, 20, 18, 8, 17, 15, 12, 4, 14, 1, 16, 7, 19, 9, 6, 11, 5, 3, 13, 2
]
rel=
[ [ 10, 20, 1, 9, 13, 18, 2, 19, 12, 6, 14, 8, 3, 17, 4, 7, 11, 15, 5, 16 ] ]
grel= [ (-1)*e ]
----------------------
D= 69
not enough generators, increase max norm to 9522
not enough generators, increase max norm to 19044
1: 0 (2-tor)
1: 2/3 x (25/2S(1)-S(1))/S(69) x (1+0S(-1))
1: rel 0 25/2 0 -3/2
21: 2/3 x (-25/2S(1)+S(1))/S(69) x (1+0S(-1))
21: rel 0 -25/2 0 -3/2
4: 2/185 x (-113/2S(1)+S(1))/S(69) x (-13-4S(-1))
4: rel 0 -113/2 -2 13/2
8: 2/185 x (-113/2S(1)+S(1))/S(69) x (-11-8S(-1))
8: rel 0 -113/2 -4 11/2
16: 2/185 x (-113/2S(1)+S(1))/S(69) x (11-8S(-1))
16: rel 0 -113/2 -4 -11/2
19: 2/185 x (-113/2S(1)+S(1))/S(69) x (13-4S(-1))
19: rel 0 -113/2 -2 -13/2
5: 2/6409 x (-665/2S(1)+S(1))/S(69) x (-75-28S(-1))
5: rel 0 -665/2 -14 75/2
2: 2/12833 x (-941/2S(1)+S(1))/S(69) x (-113-8S(-1))
2: rel 0 -941/2 -4 113/2
20: 1/488 x (-367S(1)+S(1))/S(69) x (11-1S(-1))
20: rel 0 -367 -4 -44
15: 2/6409 x (-665/2S(1)+S(1))/S(69) x (53-60S(-1))
15: rel 0 -665/2 -30 -53/2
9: 2/6409 x (-665/2S(1)+S(1))/S(69) x (-53-60S(-1))
9: rel 0 -665/2 -30 53/2
3: 1/488 x (-367S(1)+S(1))/S(69) x (-11-1S(-1))
3: rel 0 -367 -4 44
6: (108S(1)-S(3))/(169/2S(69) x (6+5/2S(-1))
6: rel 1/2 54 5/2 -6
18: (108S(1)-S(3))/(169/2S(69) x (-6+5/2S(-1))
18: rel 1/2 54 5/2 6
12: (108S(1)-S(3))/(169/2S(69) x (0+13/2S(-1))
12: rel 1/2 54 13/2 0
7: 2/65 x (-67/2S(1)+S(1))/S(69) x (-7-4S(-1))
7: rel 0 -67/2 -2 7/2
11: 2/65 x (-67/2S(1)+S(1))/S(69) x (-1-8S(-1))
11: rel 0 -67/2 -4 1/2
13: 2/65 x (-67/2S(1)+S(1))/S(69) x (1-8S(-1))
13: rel 0 -67/2 -4 -1/2
17: 2/65 x (-67/2S(1)+S(1))/S(69) x (7-4S(-1))
17: rel 0 -67/2 -2 -7/2
10: (-30S(1)+S(3))/(13/2S(69) x (-1-3/2S(-1))
10: rel -1/2 -15 -3/2 1
14: (-30S(1)+S(3))/(13/2S(69) x (1-3/2S(-1))
14: rel -1/2 -15 -3/2 -1
algebra:
B(-1,69) type= 2
gen= [ i, (25/2)*e+(3/2)*j, (15/2)*e+(59)*i+(3/2)*j+(-7)*k,
(5/2)*e+(9)*i+(1/2)*j+(-1)*k, (15/2)*e+(-59)*i+(-3/2)*j+(7)*k,
(31)*e+(12)*i+(4)*j, (15/2)*e+(13)*i+(3/2)*j+(-1)*k, (14)*e+(9)*i+(2)*j,
(5/2)*e+(-9)*i+(-1/2)*j+k, (15/2)*e+(10)*i+(3/2)*j, (3/2)*e+(4)*i+(1/2)*j,
(15/2)*e+(-13)*i+(-3/2)*j+k, (15/2)*e+(13)*i+(3/2)*j+k,
(3/2)*e+(-4)*i+(-1/2)*j, (15/2)*e+(-10)*i+(-3/2)*j, (5/2)*e+(9)*i+(1/2)*j+k,
(14)*e+(-9)*i+(-2)*j, (15/2)*e+(-13)*i+(-3/2)*j+(-1)*k,
(31)*e+(-12)*i+(-4)*j, (5/2)*e+(-9)*i+(-1/2)*j+(-1)*k, (25/2)*e+(-3/2)*j ]
imap= [ 1, 21, 5, 9, 3, 19, 12, 17, 4, 15, 14, 7, 18, 11, 10, 20, 8, 13, 6,
16, 2 ]
rel= [ [ 1 ], [ 1, 21 ], [ 4, 8, 16, 19, 5, 2, 20, 15, 9, 3 ], [ 6, 18, 12 ],
[ 7, 11, 13, 17 ], [ 10, 14 ] ]
grel= [ i, (25/2)*i+(-3/2)*k, (-113/2)*i+(-2)*j+(13/2)*k,
(1/2)*e+(54)*i+(5/2)*j+(-6)*k, (-67/2)*i+(-2)*j+(7/2)*k,
(-1/2)*e+(-15)*i+(-3/2)*j+k ]
----------------------
D= 74
2: 2/33 x (35/2S(2)-S(2))/S(74) x (5+2S(-2))
2: rel 0 35/2 2 -5/2
4: 2/33 x (35/2S(2)-S(2))/S(74) x (1+4S(-2))
4: rel 0 35/2 4 -1/2
5: 2/33 x (35/2S(2)-S(2))/S(74) x (-1+4S(-2))
5: rel 0 35/2 4 1/2
1: 2/321 x (109/2S(2)-S(2))/S(74) x (17+4S(-2))
1: rel 0 109/2 4 -17/2
7: 2/33 x (35/2S(2)-S(2))/S(74) x (-5+2S(-2))
7: rel 0 35/2 2 5/2
8: 1/12 x (73S(2)-S(2))/S(74) x (-1+0S(-2))
8: rel 0 73 0 12
16: 1/292 x (147S(2)-S(2))/S(74) x (12+1S(-2))
16: rel 0 147 4 -24
9: 1/996 x (665S(2)-S(2))/S(74) x (-9-1S(-2))
9: rel 0 665 -24 108
6: 2/40161 x (1219/2S(2)-S(2))/S(74) x (-133+106S(-2))
6: rel 0 1219/2 106 133/2
3: 2/13281 x (701/2S(2)-S(2))/S(74) x (91+50S(-2))
3: rel 0 701/2 50 -91/2
13: 2/321 x (109/2S(2)-S(2))/S(74) x (11-10S(-2))
13: rel 0 109/2 -10 -11/2
10: 2/33 x (35/2S(2)-S(2))/S(74) x (-5-2S(-2))
10: rel 0 35/2 -2 5/2
15: 2/321 x (109/2S(2)-S(2))/S(74) x (17-4S(-2))
15: rel 0 109/2 -4 -17/2
11: 2/33 x (35/2S(2)-S(2))/S(74) x (-1-4S(-2))
11: rel 0 35/2 -4 1/2
12: 2/33 x (35/2S(2)-S(2))/S(74) x (1-4S(-2))
12: rel 0 35/2 -4 -1/2
14: 2/33 x (35/2S(2)-S(2))/S(74) x (5-2S(-2))
14: rel 0 35/2 -2 -5/2
algebra:
B(-2,37) type= 2
gen= [ (6)*e+i+j, (4)*e+(9/2)*i+j+(-1/2)*k, (5)*e+(-5)*i+k,
(3/2)*e+(2)*i+(1/2)*j, (4)*e+(-9/2)*i+(-1)*j+(1/2)*k,
(3/2)*e+(-2)*i+(-1/2)*j, (7/2)*e+(6)*i+(1/2)*j+k, (6)*e+(-1)*i+(-1)*j,
(7/2)*e+(-6)*i+(-1/2)*j+(-1)*k, (6)*e+i+(-1)*j, (3/2)*e+(2)*i+(-1/2)*j,
(4)*e+(9/2)*i+(-1)*j+(-1/2)*k, (3/2)*e+(-2)*i+(1/2)*j, (5)*e+(5)*i+(-1)*k,
(4)*e+(-9/2)*i+j+(1/2)*k, (6)*e+(-1)*i+j ]
imap= [ 8, 5, 14, 6, 2, 4, 9, 1, 7, 16, 13, 15, 11, 3, 12, 10 ]
rel= [ [ 10, 15, 11, 12, 14, 2, 4, 5, 1, 7, 8, 16, 9, 6, 3, 13 ] ]
grel= [ (-1)*e ]
----------------------
D= 77
1: 0 (2-tor)
1: 2 x (9/2S(1)-S(1))/S(77) x (1+0S(-1))
1: rel 0 9/2 0 -1/2
25: 2 x (-9/2S(1)+S(1))/S(77) x (1+0S(-1))
25: rel 0 -9/2 0 -1/2
3: 1/40 x (-111S(1)+S(1))/S(77) x (-3-1S(-1))
3: rel 0 -111 -4 12
20: 2/2665 x (-453/2S(1)+S(1))/S(77) x (37-36S(-1))
20: rel 0 -453/2 -18 -37/2
14: 2/4947 x (-1069/2S(1)+S(1))/S(77) x (7-40S(-1))
14: rel 0 -1069/2 -60 -21/2
5: 1/2132 x (-573S(1)+S(1))/S(77) x (-29-15S(-1))
5: rel 0 -573 -30 58
18: 2/2665 x (-453/2S(1)+S(1))/S(77) x (27-44S(-1))
18: rel 0 -453/2 -22 -27/2
9: 1/2132 x (-573S(1)+S(1))/S(77) x (-15-29S(-1))
9: rel 0 -573 -58 30
15: 2/223561 x (-4149/2S(1)+S(1))/S(77) x (125-456S(-1))
15: rel 0 -4149/2 -228 -125/2
19: 2/467065 x (-5997/2S(1)+S(1))/S(77) x (429-532S(-1))
19: rel 0 -5997/2 -266 -429/2
4: 2/135073 x (-3225/2S(1)+S(1))/S(77) x (-343-132S(-1))
4: rel 0 -3225/2 -66 343/2
23: 2/4925 x (-1377/2S(1)+S(1))/S(77) x (29-12S(-1))
23: rel 0 -1377/2 -30 -145/2
7: 1/2132 x (-573S(1)+S(1))/S(77) x (-21-25S(-1))
7: rel 0 -573 -50 42
11: 1/40 x (-111S(1)+S(1))/S(77) x (-1-3S(-1))
11: rel 0 -111 -12 4
16: 1/40 x (-111S(1)+S(1))/S(77) x (1-3S(-1))
16: rel 0 -111 -12 -4
8: 2/2665 x (-453/2S(1)+S(1))/S(77) x (-27-44S(-1))
8: rel 0 -453/2 -22 27/2
22: 1/2132 x (-573S(1)+S(1))/S(77) x (29-15S(-1))
22: rel 0 -573 -30 -58
12: 2/4947 x (-1069/2S(1)+S(1))/S(77) x (-7-40S(-1))
12: rel 0 -1069/2 -60 21/2
6: 2/2665 x (-453/2S(1)+S(1))/S(77) x (-37-36S(-1))
6: rel 0 -453/2 -18 37/2
13: 2/12291 x (-1685/2S(1)+S(1))/S(77) x (1-64S(-1))
13: rel 0 -1685/2 -96 -3/2
21: 1/2132 x (-573S(1)+S(1))/S(77) x (25-21S(-1))
21: rel 0 -573 -42 -50
2: 2/2665 x (-453/2S(1)+S(1))/S(77) x (-51-8S(-1))
2: rel 0 -453/2 -4 51/2
24: 1/40 x (-111S(1)+S(1))/S(77) x (3-1S(-1))
24: rel 0 -111 -4 -12
10: 2/73 x (-75/2S(1)+S(1))/S(77) x (-3-8S(-1))
10: rel 0 -75/2 -4 3/2
17: 2/73 x (-75/2S(1)+S(1))/S(77) x (3-8S(-1))
17: rel 0 -75/2 -4 -3/2
algebra:
B(-1,77) type= 2
gen= [ i, (9/2)*e+(1/2)*j, (16)*e+(17/2)*i+(2)*j+(-1/2)*k,
(33)*e+(12)*i+(4)*j, (14)*e+(23/2)*i+(2)*j+(-1/2)*k,
(5)*e+(17/2)*i+j+(-1/2)*k, (5)*e+(19)*i+(2)*j+(-1)*k,
(14)*e+(23/2)*i+(2)*j+(1/2)*k, (14)*e+(65/2)*i+(4)*j+(-1/2)*k,
(11/2)*e+(12)*i+(3/2)*j, (12)*e+(33)*i+(4)*j, (5)*e+(-19)*i+(-2)*j+k,
(5)*e+(17/2)*i+j+(1/2)*k, (5)*e+(-17/2)*i+(-1)*j+(1/2)*k,
(5)*e+(19)*i+(2)*j+k, (14)*e+(-65/2)*i+(-4)*j+(1/2)*k,
(12)*e+(-33)*i+(-4)*j, (11/2)*e+(-12)*i+(-3/2)*j,
(14)*e+(-23/2)*i+(-2)*j+(1/2)*k, (5)*e+(-19)*i+(-2)*j+(-1)*k,
(16)*e+(-17/2)*i+(-2)*j+(1/2)*k, (5)*e+(-17/2)*i+(-1)*j+(-1/2)*k,
(14)*e+(-23/2)*i+(-2)*j+(-1/2)*k, (33)*e+(-12)*i+(-4)*j, (9/2)*e+(-1/2)*j ]
imap= [ 1, 25, 21, 24, 19, 14, 12, 23, 16, 18, 17, 7, 22, 6, 20, 9, 11, 10,
5, 15, 3, 13, 8, 4, 2 ]
rel=
[ [ 1 ], [ 1, 25 ], [ 3, 20, 14, 5, 18, 9, 15, 19, 4, 23, 7, 11, 16, 8, 22,
12, 6, 13, 21, 2, 24 ], [ 10, 17 ] ]
grel= [ i, (9/2)*i+(-1/2)*k, (-111)*i+(-4)*j+(12)*k, (-75/2)*i+(-4)*j+(3/2)*k
]
----------------------
D= 82
not enough generators, increase max norm to 13448
not enough generators, increase max norm to 26896
not enough generators, increase max norm to 53792
not enough generators, increase max norm to 107584
2: (1S(82)-S(3))/(79/26S(1066) x (123/13+17/26S(-82))
2: rel 1/2 1/2 17/26 -3/26
5: (2S(82)-S(3))/(25/2S(1066) x (0+5/2S(-82))
5: rel 1/2 1 5/2 0
12: (14S(82)-S(3))/(16069/26S(1066) x (-738/13-427/26S(-82))
12: rel 1/2 7 -427/26 9/13
16: (11S(82)-S(3))/(763/2S(1066) x (1107/13-263/26S(-82))
16: rel 1/2 11/2 -263/26 -27/26
17: (20S(82)-S(3))/(32797/26S(1066) x (2706/13-263/26S(-82))
17: rel 1/2 10 -263/26 -33/13
11: (35S(82)-S(3))/(100447/26S(1066) x (-3075/13-919/26S(-82))
11: rel 1/2 35/2 -919/26 75/26
9: (50S(82)-S(3))/(15769/2S(1066) x (-7134/13-427/26S(-82))
9: rel 1/2 25 -427/26 87/13
18: (104S(82)-S(3))/(886909/26S(1066) x (15252/13-427/26S(-82))
18: rel 1/2 52 -427/26 -186/13
15: (49S(82)-S(3))/(196879/26S(1066) x (1271/13-1575/26S(-82))
15: rel 1/2 49/2 -1575/26 -31/26
13: (59S(82)-S(3))/(285439/26S(1066) x (-1353/13-1903/26S(-82))
13: rel 1/2 59/2 -1903/26 33/26
4: (101S(82)-S(3))/(836479/26S(1066) x (6027/13+3017/26S(-82))
4: rel 1/2 101/2 3017/26 -147/26
6: (34S(82)-S(3))/(94789/26S(1066) x (-3034/13+885/26S(-82))
6: rel 1/2 17 885/26 37/13
7: (25S(82)-S(3))/(51247/26S(1066) x (-3239/13+393/26S(-82))
7: rel 1/2 25/2 393/26 79/26
3: (16S(82)-S(3))/(20989/26S(1066) x (1558/13+393/26S(-82))
3: rel 1/2 8 393/26 -19/13
1: (11S(82)-S(3))/(763/2S(1066) x (123+5/2S(-82))
1: rel 1/2 11/2 5/2 -3/2
8: (11S(82)-S(3))/(763/2S(1066) x (-123+5/2S(-82))
8: rel 1/2 11/2 5/2 3/2
10: (1S(82)-S(3))/(79/26S(1066) x (-123/13-17/26S(-82))
10: rel 1/2 1/2 -17/26 3/26
14: (2S(82)-S(3))/(25/2S(1066) x (0-5/2S(-82))
14: rel 1/2 1 -5/2 0
algebra:
B(-82,13) type= 3 aux= 3
gen= [ (11/2)*e+(3/2)*j, (1/2)*e+(1/2)*i+(17/26)*j+(-3/26)*k,
(1/2)*e+(-1/2)*i+(-17/26)*j+(3/26)*k, (4)*e+(1/2)*i+(21/13)*j+(1/26)*k,
(8)*e+(9/13)*j+(3/13)*k, (2)*e+(1/2)*i+(11/13)*j+(3/26)*k,
(4)*e+(-1/2)*i+(-21/13)*j+(-1/26)*k, (2)*e+(-1/2)*i+(-11/13)*j+(-3/26)*k,
(11/2)*e+(-3/2)*j, (1/2)*e+(1/2)*i+(-17/26)*j+(3/26)*k,
(1/2)*e+(-1/2)*i+(17/26)*j+(-3/26)*k, (4)*e+(1/2)*i+(-21/13)*j+(-1/26)*k,
(8)*e+(-9/13)*j+(-3/13)*k, (1/2)*e+i+(-5/2)*j, (1/2)*e+(-1)*i+(5/2)*j,
(2)*e+(1/2)*i+(-11/13)*j+(-3/26)*k, (4)*e+(-1/2)*i+(21/13)*j+(1/26)*k,
(2)*e+(-1/2)*i+(11/13)*j+(3/26)*k ]
imap= [ 9, 3, 2, 7, 13, 8, 4, 6, 1, 11, 10, 17, 5, 15, 14, 18, 12, 16 ]
rel= [ [ 2 ], [ 5, 12, 16, 17, 11, 9, 18, 15, 13, 4, 6, 7, 3, 1, 8 ], [ 10 ],
[ 14 ] ]
grel= [ (1/2)*e+(1/2)*i+(17/26)*j+(-3/26)*k, (1/2)*e+i+(5/2)*j,
(1/2)*e+(1/2)*i+(-17/26)*j+(3/26)*k, (1/2)*e+i+(-5/2)*j ]
----------------------
D= 85
not enough generators, increase max norm to 14450
not enough generators, increase max norm to 28900
4: (-32S(5)+S(3))/(301/2S(85) x (-15-11/2S(-5))
4: rel -1/2 -16 -11/2 3
10: (-32S(5)+S(3))/(301/2S(85) x (15-11/2S(-5))
10: rel -1/2 -16 -11/2 -3
26: (-66S(5)+S(3))/(1281/2S(85) x (-40-1/2S(-5))
26: rel -1/2 -33 -1/2 8
15: (-406S(5)+S(3))/(48481/2S(85) x (240+49/2S(-5))
15: rel -1/2 -203 49/2 -48
21: (-1494S(5)+S(3))/(656481/2S(85) x (-610+599/2S(-5))
21: rel -1/2 -747 599/2 122
5: (-7852S(5)+S(3))/(18133501/2S(85) x (-3075-3251/2S(-5))
5: rel -1/2 -3926 -3251/2 615
13: (-7920S(5)+S(3))/(18448941/2S(85) x (4745-661/2S(-5))
13: rel -1/2 -3960 -661/2 -949
1: (-7580S(5)+S(3))/(16898941/2S(85) x (-4545-611/2S(-5))
1: rel -1/2 -3790 -611/2 909
9: (-6492S(5)+S(3))/(12395901/2S(85) x (2525-2701/2S(-5))
9: rel -1/2 -3246 -2701/2 -505
7: (-7172S(5)+S(3))/(15128701/2S(85) x (-2625-3101/2S(-5))
7: rel -1/2 -3586 -3101/2 525
11: (-28524S(5)+S(3))/(239299581/2S(85) x (15545-6781/2S(-5))
11: rel -1/2 -14262 -6781/2 -3109
3: (-25804S(5)+S(3))/(195837181/2S(85) x (-14145-5981/2S(-5))
3: rel -1/2 -12902 -5981/2 2829
24: (-22914S(5)+S(3))/(154426881/2S(85) x (-12530+5369/2S(-5))
24: rel -1/2 -11457 5369/2 2506
16: (-23322S(5)+S(3))/(159975201/2S(85) x (12740+5489/2S(-5))
16: rel -1/2 -11661 5489/2 -2548
25: (-49638S(5)+S(3))/(724685601/2S(85) x (-28220+9359/2S(-5))
25: rel -1/2 -24819 9359/2 5644
2: (-55078S(5)+S(3))/(892231201/2S(85) x (-31260-10511/2S(-5))
2: rel -1/2 -27539 -10511/2 6252
12: (-28762S(5)+S(3))/(243309601/2S(85) x (15780-6641/2S(-5))
12: rel -1/2 -14381 -6641/2 -3156
6: (-12204S(5)+S(3))/(43805181/2S(85) x (-4715-5101/2S(-5))
6: rel -1/2 -6102 -5101/2 943
20: (-236S(5)+S(3))/(16381/2S(85) x (-75+109/2S(-5))
20: rel -1/2 -118 109/2 15
18: (-134S(5)+S(3))/(5281/2S(85) x (60+49/2S(-5))
18: rel -1/2 -67 49/2 -12
22: (-134S(5)+S(3))/(5281/2S(85) x (-60+49/2S(-5))
22: rel -1/2 -67 49/2 12
14: (-66S(5)+S(3))/(1281/2S(85) x (40-1/2S(-5))
14: rel -1/2 -33 -1/2 -8
8: (2S(5)-S(3))/(1/2S(85) x (0+1/2S(-5))
8: rel 1/2 1 1/2 0
17: (-32S(5)+S(3))/(301/2S(85) x (15+11/2S(-5))
17: rel -1/2 -16 11/2 -3
23: (-32S(5)+S(3))/(301/2S(85) x (-15+11/2S(-5))
23: rel -1/2 -16 11/2 3
19: (2S(5)-S(3))/(1/2S(85) x (0-1/2S(-5))
19: rel 1/2 1 -1/2 0
algebra:
B(-5,17) type= 2
gen= [ (12)*e+(5/2)*i+(3)*j+(-1/2)*k, (8)*e+i+(2)*j, (9)*e+(-19/2)*i+(5/2)*k,
(7)*e+(2)*i+(2)*j, (12)*e+(5/2)*i+(3)*j+(1/2)*k, (39)*e+(-29/2)*i+(11/2)*k,
(129/2)*e+(23)*i+(39/2)*j+(2)*k, (1/2)*e+i+(1/2)*j, (1/2)*e+(-1)*i+(-1/2)*j,
(12)*e+(-5/2)*i+(-3)*j+(1/2)*k, (7)*e+(-2)*i+(-2)*j,
(129/2)*e+(-23)*i+(-39/2)*j+(-2)*k, (8)*e+(-1)*i+(-2)*j,
(12)*e+(-5/2)*i+(-3)*j+(-1/2)*k, (12)*e+(5/2)*i+(-3)*j+(1/2)*k,
(8)*e+i+(-2)*j, (7)*e+(2)*i+(-2)*j, (47/2)*e+(9)*i+(-15/2)*j,
(1/2)*e+i+(-1/2)*j, (1/2)*e+(-1)*i+(1/2)*j, (39)*e+(29/2)*i+(-11/2)*k,
(12)*e+(-5/2)*i+(3)*j+(-1/2)*k, (47/2)*e+(-9)*i+(15/2)*j,
(7)*e+(-2)*i+(2)*j, (9)*e+(19/2)*i+(-5/2)*k, (8)*e+(-1)*i+(2)*j ]
imap= [ 10, 13, 25, 11, 14, 21, 12, 9, 8, 1, 4, 7, 2, 5, 22, 26, 24, 23, 20,
19, 6, 15, 18, 17, 3, 16 ]
rel=
[ [ 4, 10, 26, 15, 21, 5, 13, 1, 9, 7, 11, 3, 24, 16, 25, 2, 12, 6, 20, 18,
22, 14 ], [ 8 ], [ 17, 23 ], [ 19 ] ]
grel= [ (-1/2)*e+(-16)*i+(-11/2)*j+(3)*k, (1/2)*e+i+(1/2)*j,
(-1/2)*e+(-16)*i+(11/2)*j+(-3)*k, (1/2)*e+i+(-1/2)*j ]
----------------------
D= 86
1: 0 (2-tor)
4: 1/41 x (-42S(1)+S(1))/S(43) x (-5-4S(-1))
4: rel 0 -42 -4 5
5: 1/41 x (-42S(1)+S(1))/S(43) x (-4-5S(-1))
5: rel 0 -42 -5 4
1: 1/7241 x (-558S(1)+S(1))/S(43) x (-85-4S(-1))
1: rel 0 -558 -4 85
17: 1/7241 x (558S(1)-S(1))/S(43) x (-85-4S(-1))
17: rel 0 558 -4 85
13: 1/22695 x (3826S(1)-S(1))/S(43) x (-28+27S(-1))
13: rel 0 3826 405 420
9: 1/470788 x (6363S(1)-S(1))/S(43) x (-13+485S(-1))
9: rel 0 6363 970 26
6: 1/14735 x (2106S(1)-S(1))/S(43) x (13+44S(-1))
6: rel 0 2106 308 -91
3: 1/24820 x (1461S(1)-S(1))/S(43) x (109+23S(-1))
3: rel 0 1461 46 -218
15: 1/2316 x (773S(1)-S(1))/S(43) x (-19+5S(-1))
15: rel 0 773 30 114
11: 1/459 x (730S(1)-S(1))/S(43) x (-1+4S(-1))
11: rel 0 730 108 27
7: 1/5365 x (1074S(1)-S(1))/S(43) x (7+32S(-1))
7: rel 0 1074 160 -35
8: 1/340 x (171S(1)-S(1))/S(43) x (1+13S(-1))
8: rel 0 171 26 -2
10: 1/340 x (171S(1)-S(1))/S(43) x (-1+13S(-1))
10: rel 0 171 26 2
12: 1/41 x (42S(1)-S(1))/S(43) x (-4+5S(-1))
12: rel 0 42 5 4
14: 1/41 x (42S(1)-S(1))/S(43) x (-5+4S(-1))
14: rel 0 42 4 5
16: 1/340 x (171S(1)-S(1))/S(43) x (-13+1S(-1))
16: rel 0 171 2 26
2: 1/340 x (171S(1)-S(1))/S(43) x (13+1S(-1))
2: rel 0 171 2 -26
algebra:
B(-1,43) type= 1
gen= [ i, (17/2)*e+(47/2)*i+(3/2)*j+(-7/2)*k, (13)*e+(2)*i+(2)*j,
(3/2)*e+(9/2)*i+(1/2)*j+(-1/2)*k, (17/2)*e+(-47/2)*i+(-3/2)*j+(7/2)*k,
(3/2)*e+(-9/2)*i+(-1/2)*j+(1/2)*k, (7/2)*e+(59/2)*i+(9/2)*j+(-1/2)*k,
(2)*e+(13)*i+(2)*j, (7/2)*e+(-59/2)*i+(-9/2)*j+(1/2)*k,
(17/2)*e+(47/2)*i+(7/2)*j+(3/2)*k, (2)*e+(-13)*i+(-2)*j,
(3/2)*e+(9/2)*i+(1/2)*j+(1/2)*k, (17/2)*e+(-47/2)*i+(-7/2)*j+(-3/2)*k,
(17/2)*e+(47/2)*i+(3/2)*j+(7/2)*k, (3/2)*e+(-9/2)*i+(-1/2)*j+(-1/2)*k,
(13)*e+(-2)*i+(-2)*j, (17/2)*e+(-47/2)*i+(-3/2)*j+(-7/2)*k ]
imap= [ 1, 5, 16, 6, 2, 4, 9, 11, 7, 13, 8, 15, 10, 17, 12, 3, 14 ]
rel= [ [ 1 ], [ 4, 5, 1, 17, 13, 9, 6, 3, 15, 11, 7, 8, 10, 12, 14, 16, 2 ] ]
grel= [ i, (-42)*i+(-4)*j+(5)*k ]
----------------------
D= 87
4: (-30S(3)+S(3))/(93/2S(87) x (-3-9/2S(-3))
4: rel -1/2 -15 -9/2 1
18: (-30S(3)+S(3))/(93/2S(87) x (-3+9/2S(-3))
18: rel -1/2 -15 9/2 1
15: (-30S(3)+S(3))/(93/2S(87) x (3+9/2S(-3))
15: rel -1/2 -15 9/2 -1
8: (-30S(3)+S(3))/(93/2S(87) x (3-9/2S(-3))
8: rel -1/2 -15 -9/2 -1
7: (-28S(3)+S(3))/(81/2S(87) x (0-9/2S(-3))
7: rel -1/2 -14 -9/2 0
16: (-28S(3)+S(3))/(81/2S(87) x (0+9/2S(-3))
16: rel -1/2 -14 9/2 0
17: (-260S(3)+S(3))/(6993/2S(87) x (-18+81/2S(-3))
17: rel -1/2 -130 81/2 6
6: (-1826S(3)+S(3))/(344925/2S(87) x (-45-585/2S(-3))
6: rel -1/2 -913 -585/2 15
21: (-3682S(3)+S(3))/(1402461/2S(87) x (-1017+153/2S(-3))
21: rel -1/2 -1841 153/2 339
2: (-1652S(3)+S(3))/(282321/2S(87) x (-378-303/2S(-3))
2: rel -1/2 -826 -303/2 126
19: (-1130S(3)+S(3))/(132093/2S(87) x (-243+231/2S(-3))
19: rel -1/2 -565 231/2 81
3: (-2348S(3)+S(3))/(570321/2S(87) x (-432-567/2S(-3))
3: rel -1/2 -1174 -567/2 144
20: (-1768S(3)+S(3))/(323361/2S(87) x (-468+177/2S(-3))
20: rel -1/2 -884 177/2 156
1: (-550S(3)+S(3))/(31293/2S(87) x (-153-9/2S(-3))
1: rel -1/2 -275 -9/2 51
11: (-260S(3)+S(3))/(6993/2S(87) x (72-9/2S(-3))
11: rel -1/2 -130 -9/2 -24
13: (-608S(3)+S(3))/(38241/2S(87) x (162+57/2S(-3))
13: rel -1/2 -304 57/2 -54
9: (-550S(3)+S(3))/(31293/2S(87) x (99-135/2S(-3))
9: rel -1/2 -275 -135/2 -33
14: (-202S(3)+S(3))/(4221/2S(87) x (45+39/2S(-3))
14: rel -1/2 -101 39/2 -15
10: (-202S(3)+S(3))/(4221/2S(87) x (45-39/2S(-3))
10: rel -1/2 -101 -39/2 -15
12: (-260S(3)+S(3))/(6993/2S(87) x (72+9/2S(-3))
12: rel -1/2 -130 9/2 -24
22: (-550S(3)+S(3))/(31293/2S(87) x (-153+9/2S(-3))
22: rel -1/2 -275 9/2 51
5: (-260S(3)+S(3))/(6993/2S(87) x (-18-81/2S(-3))
5: rel -1/2 -130 -81/2 6
algebra:
B(-3,29) type= 2
gen= [ (27/2)*e+(5/2)*j, (2)*e+(-5/2)*i+(1/2)*k, (9/2)*e+(-5)*i+(-1/2)*j+k,
(4)*e+(-3/2)*i+(1/2)*k, (3)*e+(6)*i+(2)*j, (12)*e+(-15/2)*i+(-2)*j+(3/2)*k,
(14)*e+(-1/2)*i+(3/2)*k, (3)*e+(-6)*i+(-2)*j, (4)*e+(3/2)*i+(1/2)*k,
(9/2)*e+(5)*i+(1/2)*j+k, (2)*e+(5/2)*i+(1/2)*k, (27/2)*e+(-5/2)*j,
(9/2)*e+(-5)*i+(-1/2)*j+(-1)*k, (2)*e+(-5/2)*i+(-1/2)*k,
(4)*e+(-3/2)*i+(-1/2)*k, (3)*e+(6)*i+(-2)*j, (14)*e+(1/2)*i+(-3/2)*k,
(3)*e+(-6)*i+(2)*j, (4)*e+(3/2)*i+(-1/2)*k, (2)*e+(5/2)*i+(-1/2)*k,
(9/2)*e+(5)*i+(1/2)*j+(-1)*k, (12)*e+(15/2)*i+(2)*j+(-3/2)*k ]
imap= [ 12, 20, 21, 19, 8, 22, 17, 5, 15, 13, 14, 1, 10, 11, 9, 18, 7, 16, 4,
2, 3, 6 ]
rel=
[ [ 4, 18, 15, 8 ], [ 7, 16, 17, 6, 21, 2, 19, 3, 20, 1, 11, 13, 9, 14, 10,
12, 22, 5 ] ]
grel= [ (-1/2)*e+(-15)*i+(-9/2)*j+k, (-1/2)*e+(-14)*i+(-9/2)*j ]
----------------------
D= 91
2: 1/56 x (-27S(7)+S(7))/S(91) x (-7-1S(-7))
2: rel 0 -27 -7 7
21: 1/848 x (-105S(7)+S(7))/S(91) x (-1+11S(-7))
21: rel 0 -105 77 1
22: 1/6923 x (-300S(7)+S(7))/S(91) x (-14+31S(-7))
22: rel 0 -300 217 14
1: 1/10991 x (-378S(7)+S(7))/S(91) x (-104-5S(-7))
1: rel 0 -378 -35 104
14: 1/2576 x (-183S(7)+S(7))/S(91) x (49-5S(-7))
14: rel 0 -183 -35 -49
16: 1/1491 x (-638S(7)+S(7))/S(91) x (8+1S(-7))
16: rel 0 -638 147 -168
25: 1/6520 x (-651S(7)+S(7))/S(91) x (-31+7S(-7))
25: rel 0 -651 245 155
19: 1/170016 x (-2575S(7)+S(7))/S(91) x (175+61S(-7))
19: rel 0 -2575 1281 -525
11: 1/3944472 x (-12403S(7)+S(7))/S(91) x (931-253S(-7))
11: rel 0 -12403 -5313 -2793
5: 1/14144123 x (-13560S(7)+S(7))/S(91) x (-1834-1241S(-7))
5: rel 0 -13560 -8687 1834
23: 1/539693 x (-7008S(7)+S(7))/S(91) x (-118+95S(-7))
23: rel 0 -7008 4655 826
20: 1/216568 x (-5565S(7)+S(7))/S(91) x (65+47S(-7))
20: rel 0 -5565 3619 -715
24: 1/356160 x (-22049S(7)+S(7))/S(91) x (-37+17S(-7))
24: rel 0 -22049 12495 3885
4: 1/1268344 x (-21867S(7)+S(7))/S(91) x (-133-61S(-7))
4: rel 0 -21867 -12383 3857
9: 1/742992 x (-5383S(7)+S(7))/S(91) x (229-167S(-7))
9: rel 0 -5383 -3507 -687
6: 1/1101072 x (-6553S(7)+S(7))/S(91) x (-259-207S(-7))
6: rel 0 -6553 -4347 777
10: 1/288911 x (-1938S(7)+S(7))/S(91) x (392-139S(-7))
10: rel 0 -1938 -973 -392
3: 1/10991 x (-378S(7)+S(7))/S(91) x (-92-19S(-7))
3: rel 0 -378 -133 92
12: 1/2112 x (-287S(7)+S(7))/S(91) x (23-5S(-7))
12: rel 0 -287 -105 -69
18: 1/2112 x (-287S(7)+S(7))/S(91) x (23+5S(-7))
18: rel 0 -287 105 -69
26: 1/10991 x (-378S(7)+S(7))/S(91) x (-92+19S(-7))
26: rel 0 -378 133 92
15: 1/2576 x (-183S(7)+S(7))/S(91) x (49+5S(-7))
15: rel 0 -183 35 -49
28: 1/10991 x (-378S(7)+S(7))/S(91) x (-104+5S(-7))
28: rel 0 -378 35 104
7: 1/6923 x (-300S(7)+S(7))/S(91) x (-14-31S(-7))
7: rel 0 -300 -217 14
8: 1/848 x (-105S(7)+S(7))/S(91) x (-1-11S(-7))
8: rel 0 -105 -77 1
27: 1/56 x (-27S(7)+S(7))/S(91) x (-7+1S(-7))
27: rel 0 -27 7 7
17: 1/56 x (-27S(7)+S(7))/S(91) x (7+1S(-7))
17: rel 0 -27 7 -7
13: 1/56 x (-27S(7)+S(7))/S(91) x (7-1S(-7))
13: rel 0 -27 -7 -7
algebra:
B(-7,13) type= 2
gen= [ (11/2)*e+(3/2)*j, (9)*e+(-3)*i+(2)*j+k, (23/2)*e+(2)*i+(7/2)*j,
(5)*e+(2)*i+(2)*j, (8)*e+(-2)*i+k, (14)*e+(13/2)*i+(6)*j+(1/2)*k,
(3/2)*e+(2)*i+(3/2)*j, (9)*e+(-3)*i+(-2)*j+k, (3/2)*e+(-2)*i+(-3/2)*j,
(5)*e+(-2)*i+(-2)*j, (14)*e+(-13/2)*i+(-6)*j+(-1/2)*k,
(8)*e+(9/2)*i+(3/2)*k, (23/2)*e+(-2)*i+(-7/2)*j, (8)*e+(17/2)*i+(5/2)*k,
(11/2)*e+(-3/2)*j, (40)*e+(13/2)*i+(-12)*j+(1/2)*k,
(8)*e+(-17/2)*i+(-5/2)*k, (23/2)*e+(2)*i+(-7/2)*j, (8)*e+(-9/2)*i+(-3/2)*k,
(5)*e+(2)*i+(-2)*j, (3/2)*e+(2)*i+(-3/2)*j, (9)*e+(3)*i+(-2)*j+(-1)*k,
(3/2)*e+(-2)*i+(3/2)*j, (8)*e+(2)*i+(-1)*k, (5)*e+(-2)*i+(2)*j,
(40)*e+(-13/2)*i+(12)*j+(-1/2)*k, (23/2)*e+(-2)*i+(7/2)*j,
(9)*e+(3)*i+(2)*j+(-1)*k ]
imap= [ 15, 22, 13, 10, 24, 11, 9, 28, 7, 4, 6, 19, 3, 17, 1, 26, 14, 27, 12,
25, 23, 2, 21, 5, 20, 16, 18, 8 ]
rel=
[ [ 19, 11, 5, 23, 20, 24, 4, 9, 6, 10, 3, 12, 18, 26, 15, 28, 7, 8, 27, 17,
13, 2, 21, 22, 1, 14, 16, 25 ] ]
grel= [ (-1)*e ]
----------------------
D= 93
not enough generators, increase max norm to 17298
1: 0 (2-tor)
1: 2/3 x (29/2S(1)-S(1))/S(93) x (1+0S(-1))
1: rel 0 29/2 0 -3/2
25: 2/3 x (-29/2S(1)+S(1))/S(93) x (1+0S(-1))
25: rel 0 -29/2 0 -3/2
6: 2/265 x (-157/2S(1)+S(1))/S(93) x (-11-12S(-1))
6: rel 0 -157/2 -6 11/2
20: 2/265 x (-157/2S(1)+S(1))/S(93) x (11-12S(-1))
20: rel 0 -157/2 -6 -11/2
14: 2/265 x (-157/2S(1)+S(1))/S(93) x (3-16S(-1))
14: rel 0 -157/2 -8 -3/2
16: 2/3485 x (-1273/2S(1)+S(1))/S(93) x (11-24S(-1))
16: rel 0 -1273/2 -60 -55/2
2: 1/29044 x (-3287S(1)+S(1))/S(93) x (-85-6S(-1))
2: rel 0 -3287 -24 340
24: 2/504985 x (-6853/2S(1)+S(1))/S(93) x (709-48S(-1))
24: rel 0 -6853/2 -24 -709/2
9: 2/9699 x (-1645/2S(1)+S(1))/S(93) x (-23-52S(-1))
9: rel 0 -1645/2 -78 69/2
12: 1/260 x (-311S(1)+S(1))/S(93) x (-1-8S(-1))
12: rel 0 -311 -32 4
17: 2/17425 x (-1273/2S(1)+S(1))/S(93) x (63-116S(-1))
17: rel 0 -1273/2 -58 -63/2
13: 2/17425 x (-1273/2S(1)+S(1))/S(93) x (-1-132S(-1))
13: rel 0 -1273/2 -66 1/2
8: 1/260 x (-311S(1)+S(1))/S(93) x (-4-7S(-1))
8: rel 0 -311 -28 16
18: 1/260 x (-311S(1)+S(1))/S(93) x (4-7S(-1))
18: rel 0 -311 -28 -16
11: 2/265 x (-157/2S(1)+S(1))/S(93) x (-3-16S(-1))
11: rel 0 -157/2 -8 3/2
7: 2/89 x (-91/2S(1)+S(1))/S(93) x (-5-8S(-1))
7: rel 0 -91/2 -4 5/2
10: 2/357 x (-835/2S(1)+S(1))/S(93) x (-1-4S(-1))
10: rel 0 -835/2 -42 21/2
23: 1/740 x (-371S(1)+S(1))/S(93) x (19-3S(-1))
23: rel 0 -371 -6 -38
4: 2/2305 x (-463/2S(1)+S(1))/S(93) x (-39-28S(-1))
4: rel 0 -463/2 -14 39/2
21: 2/2305 x (-463/2S(1)+S(1))/S(93) x (39-28S(-1))
21: rel 0 -463/2 -14 -39/2
5: 1/1160 x (-929S(1)+S(1))/S(93) x (-9-8S(-1))
5: rel 0 -929 -64 72
22: 2/15665 x (-1207/2S(1)+S(1))/S(93) x (121-32S(-1))
22: rel 0 -1207/2 -16 -121/2
3: 1/740 x (-371S(1)+S(1))/S(93) x (-19-3S(-1))
3: rel 0 -371 -6 38
15: 2/357 x (-835/2S(1)+S(1))/S(93) x (1-4S(-1))
15: rel 0 -835/2 -42 -21/2
19: 2/89 x (-91/2S(1)+S(1))/S(93) x (5-8S(-1))
19: rel 0 -91/2 -4 -5/2
algebra:
B(-1,93) type= 2
gen= [ i, (29/2)*e+(3/2)*j, (27/2)*e+(11)*i+(3/2)*j+(-1)*k,
(9/2)*e+(2)*i+(1/2)*j, (18)*e+(17/2)*i+(2)*j+(1/2)*k,
(21/2)*e+(10)*i+(3/2)*j, (5)*e+(21)*i+(2)*j+(-1)*k, (20)*e+(33)*i+(4)*j,
(4)*e+(39/2)*i+(2)*j+(-1/2)*k, (27/2)*e+(11)*i+(3/2)*j+k,
(5)*e+(-21)*i+(-2)*j+k, (35/2)*e+(51)*i+(11/2)*j+k,
(4)*e+(-39/2)*i+(-2)*j+(1/2)*k, (4)*e+(39/2)*i+(2)*j+(1/2)*k,
(5)*e+(21)*i+(2)*j+k, (27/2)*e+(-11)*i+(-3/2)*j+k,
(4)*e+(-39/2)*i+(-2)*j+(-1/2)*k, (35/2)*e+(-51)*i+(-11/2)*j+(-1)*k,
(20)*e+(-33)*i+(-4)*j, (5)*e+(-21)*i+(-2)*j+(-1)*k,
(21/2)*e+(-10)*i+(-3/2)*j, (9/2)*e+(-2)*i+(-1/2)*j,
(18)*e+(-17/2)*i+(-2)*j+(-1/2)*k, (27/2)*e+(-11)*i+(-3/2)*j+(-1)*k,
(29/2)*e+(-3/2)*j ]
imap= [ 1, 25, 16, 22, 23, 21, 11, 19, 13, 24, 7, 18, 9, 17, 20, 3, 14, 12,
8, 15, 6, 4, 5, 10, 2 ]
rel= [ [ 1 ], [ 1, 25 ], [ 6, 20, 14, 16, 2, 24, 9, 12, 17, 13, 8, 18, 11 ],
[ 7, 10, 23, 4, 21, 5, 22, 3, 15, 19 ] ]
grel= [ i, (29/2)*i+(-3/2)*k, (-157/2)*i+(-6)*j+(11/2)*k,
(-91/2)*i+(-4)*j+(5/2)*k ]
----------------------
D= 94
1: 0 (2-tor)
1: (-35S(1)+S(3))/(13S(47) x (-5/2+1/2S(-1))
1: rel -1/2 -35/2 1/2 5/2
21: (35S(1)-S(3))/(13S(47) x (-5/2+1/2S(-1))
21: rel 1/2 35/2 1/2 5/2
12: (35S(1)-S(3))/(13S(47) x (-1/2+5/2S(-1))
12: rel 1/2 35/2 5/2 1/2
2: (-35S(1)+S(3))/(13S(47) x (-5/2-1/2S(-1))
2: rel -1/2 -35/2 -1/2 5/2
11: (-35S(1)+S(3))/(13S(47) x (-1/2-5/2S(-1))
11: rel -1/2 -35/2 -5/2 1/2
5: 1/15 x (-46S(1)+S(1))/S(47) x (-2-1S(-1))
5: rel 0 -46 -3 6
9: 1/15 x (-46S(1)+S(1))/S(47) x (-1-2S(-1))
9: rel 0 -46 -6 3
15: 1/15 x (-46S(1)+S(1))/S(47) x (1-2S(-1))
15: rel 0 -46 -6 -3
19: 1/15 x (-46S(1)+S(1))/S(47) x (2-1S(-1))
19: rel 0 -46 -3 -6
16: 1/1165 x (-234S(1)+S(1))/S(47) x (18-29S(-1))
16: rel 0 -234 -29 -18
8: 1/1165 x (-234S(1)+S(1))/S(47) x (-18-29S(-1))
8: rel 0 -234 -29 18
6: (-59S(1)+S(3))/(37S(47) x (-7/2-5/2S(-1))
6: rel -1/2 -59/2 -5/2 7/2
7: (-59S(1)+S(3))/(37S(47) x (-5/2-7/2S(-1))
7: rel -1/2 -59/2 -7/2 5/2
3: (-811S(1)+S(3))/(6997S(47) x (-113/2-35/2S(-1))
3: rel -1/2 -811/2 -35/2 113/2
10: (-529S(1)+S(3))/(2977S(47) x (-25/2-73/2S(-1))
10: rel -1/2 -529/2 -73/2 25/2
4: (-529S(1)+S(3))/(2977S(47) x (-73/2-25/2S(-1))
4: rel -1/2 -529/2 -25/2 73/2
17: (-59S(1)+S(3))/(37S(47) x (5/2-7/2S(-1))
17: rel -1/2 -59/2 -7/2 -5/2
18: (-59S(1)+S(3))/(37S(47) x (7/2-5/2S(-1))
18: rel -1/2 -59/2 -5/2 -7/2
13: (-811S(1)+S(3))/(6997S(47) x (35/2-113/2S(-1))
13: rel -1/2 -811/2 -113/2 -35/2
20: (-529S(1)+S(3))/(2977S(47) x (73/2-25/2S(-1))
20: rel -1/2 -529/2 -25/2 -73/2
14: (-529S(1)+S(3))/(2977S(47) x (25/2-73/2S(-1))
14: rel -1/2 -529/2 -73/2 -25/2
algebra:
B(-1,47) type= 1
gen= [ i, (7/2)*e+(7/2)*i+(1/2)*j+(-1/2)*k, (15/2)*e+(25/2)*i+(3/2)*j+(-3/2)*k
, (9/2)*e+(39/2)*i+(3/2)*j+(-5/2)*k, (11/2)*e+(27/2)*i+(3/2)*j+(-3/2)*k,
(4)*e+(19)*i+(2)*j+(-2)*k, (9/2)*e+(-39/2)*i+(-3/2)*j+(5/2)*k,
(4)*e+(-19)*i+(-2)*j+(2)*k, (10)*e+(18)*i+(3)*j,
(11/2)*e+(-27/2)*i+(-3/2)*j+(3/2)*k, (15/2)*e+(-25/2)*i+(-3/2)*j+(3/2)*k,
(7/2)*e+(-7/2)*i+(-1/2)*j+(1/2)*k, (15/2)*e+(25/2)*i+(3/2)*j+(3/2)*k,
(9/2)*e+(39/2)*i+(5/2)*j+(3/2)*k, (11/2)*e+(27/2)*i+(3/2)*j+(3/2)*k,
(10)*e+(-18)*i+(-3)*j, (4)*e+(19)*i+(2)*j+(2)*k,
(9/2)*e+(-39/2)*i+(-5/2)*j+(-3/2)*k, (4)*e+(-19)*i+(-2)*j+(-2)*k,
(11/2)*e+(-27/2)*i+(-3/2)*j+(-3/2)*k, (15/2)*e+(-25/2)*i+(-3/2)*j+(-3/2)*k ]
imap= [ 1, 12, 11, 7, 10, 8, 4, 6, 16, 5, 3, 2, 21, 18, 20, 9, 19, 14, 17,
15, 13 ]
rel= [ [ 1 ], [ 1, 21, 12 ], [ 2, 11 ], [ 5, 9, 15, 19, 16, 8 ],
[ 6, 7, 3, 10, 4 ], [ 17, 18, 13, 20, 14 ] ]
grel= [ i, (-1/2)*e+(-35/2)*i+(1/2)*j+(5/2)*k,
(-1/2)*e+(-35/2)*i+(-1/2)*j+(5/2)*k, (-46)*i+(-3)*j+(6)*k,
(-1/2)*e+(-59/2)*i+(-5/2)*j+(7/2)*k, (-1/2)*e+(-59/2)*i+(-7/2)*j+(-5/2)*k ]
----------------------
D= 95
not enough generators, increase max norm to 18050
not enough generators, increase max norm to 36100
not enough generators, increase max norm to 72200
not enough generators, increase max norm to 144400
not enough generators, increase max norm to 288800
not enough generators, increase max norm to 577600
not enough generators, increase max norm to 1155200
not enough generators, increase max norm to 2310400
1: 1/480 x (31S(95)-S(95))/S(1235) x (55+1S(-95))
1: rel 0 31 190/13 -110/13
14: 2/3477 x (59/2S(95)-S(95))/S(1235) x (-209+4S(-95))
14: rel 0 59/2 190/13 209/26
26: 2/6255 x (137/2S(95)-S(95))/S(1235) x (145-8S(-95))
26: rel 0 137/2 -1140/13 -435/26
12: 2/2145 x (167/2S(95)-S(95))/S(1235) x (-25+4S(-95))
12: rel 0 167/2 190 25/2
6: 1/2075040 x (2881S(95)-S(95))/S(1235) x (1975+173S(-95))
6: rel 0 2881 65740/13 -7900/13
23: 1/16860624 x (5807S(95)-S(95))/S(1235) x (4349-977S(-95))
23: rel 0 5807 -185630/13 -8698/13
10: 1/230501920 x (21471S(95)-S(95))/S(1235) x (-12255+3767S(-95))
10: rel 0 21471 715730/13 24510/13
7: 2/2089312677 x (45709/2S(95)-S(95))/S(1235) x (122599+11300S(-95))
7: rel 0 45709/2 536750/13 -122599/26
11: 1/81115584 x (12737S(95)-S(95))/S(1235) x (-8339+2195S(-95))
11: rel 0 12737 417050/13 16678/13
22: 1/11912080 x (4881S(95)-S(95))/S(1235) x (2385-869S(-95))
22: rel 0 4881 -165110/13 -4770/13
8: 1/44736032 x (13377S(95)-S(95))/S(1235) x (5757+1087S(-95))
8: rel 0 13377 413060/13 -23028/13
9: 2/322884957 x (17969/2S(95)-S(95))/S(1235) x (7019+6608S(-95))
9: rel 0 17969/2 313880/13 -7019/26
21: 2/36228357 x (6019/2S(95)-S(95))/S(1235) x (-16969-1388S(-95))
21: rel 0 6019/2 -65930/13 16969/26
4: 2/12883695 x (6217/2S(95)-S(95))/S(1235) x (6225+424S(-95))
4: rel 0 6217/2 60420/13 -18675/26
19: 2/40538685 x (6367/2S(95)-S(95))/S(1235) x (-20045-1148S(-95))
19: rel 0 6367/2 -54530/13 20045/26
24: 2/7368105 x (9787/2S(95)-S(95))/S(1235) x (1235-248S(-95))
24: rel 0 9787/2 -11780 -1235/2
5: 2/334853397 x (18299/2S(95)-S(95))/S(1235) x (52079+4156S(-95))
5: rel 0 18299/2 197410/13 -52079/26
20: 2/33580455 x (10037/2S(95)-S(95))/S(1235) x (-10155-668S(-95))
20: rel 0 10037/2 -95190/13 30465/26
3: 2/12866565 x (3587/2S(95)-S(95))/S(1235) x (11455+616S(-95))
3: rel 0 3587/2 29260/13 -11455/26
17: 1/4196352 x (4097S(95)-S(95))/S(1235) x (-3343-161S(-95))
17: rel 0 4097 -61180/13 13372/13
27: 2/78304797 x (8849/2S(95)-S(95))/S(1235) x (30731-880S(-95))
27: rel 0 8849/2 -41800/13 -30731/26
13: 2/1306803 x (7139/2S(95)-S(95))/S(1235) x (-559+36S(-95))
13: rel 0 7139/2 5130 1677/2
25: 2/25694757 x (5069/2S(95)-S(95))/S(1235) x (8719-1648S(-95))
25: rel 0 5069/2 -78280/13 -8719/26
18: 2/2719197 x (1649/2S(95)-S(95))/S(1235) x (-5341-268S(-95))
18: rel 0 1649/2 -12730/13 5341/26
2: 1/144 x (17S(95)-S(95))/S(1235) x (29+1S(-95))
2: rel 0 17 190/13 -58/13
15: 1/480 x (31S(95)-S(95))/S(1235) x (-55-1S(-95))
15: rel 0 31 -190/13 110/13
28: 2/3477 x (59/2S(95)-S(95))/S(1235) x (209-4S(-95))
28: rel 0 59/2 -190/13 -209/26
16: 1/144 x (17S(95)-S(95))/S(1235) x (-29-1S(-95))
16: rel 0 17 -190/13 58/13
algebra:
B(-95,13) type= 3 aux= 3
gen= [ (11/2)*e+(3/2)*j, (12)*e+(42/13)*j+(1/13)*k,
(99/2)*e+(321/26)*j+(8/13)*k, (26)*e+(80/13)*j+(5/13)*k,
(23)*e+(67/13)*j+(5/13)*k, (37)*e+(-3)*i+(38/13)*j+(17/13)*k,
(43/2)*e+(3)*i+(255/26)*j+(-3/13)*k, (2)*e+(1/2)*i+(18/13)*j+(-1/26)*k,
(3)*e+(3/13)*j+(1/13)*k, (2)*e+(-1/2)*i+(-18/13)*j+(1/26)*k,
(23)*e+(-28/13)*j+(8/13)*k, (43/2)*e+(-3)*i+(-255/26)*j+(3/13)*k,
(4)*e+(-10/13)*j+(1/13)*k, (7)*e+(-23/13)*j+(1/13)*k, (11/2)*e+(-3/2)*j,
(12)*e+(-42/13)*j+(-1/13)*k, (16)*e+(1/2)*i+(-60/13)*j+(-1/26)*k,
(99/2)*e+(-321/26)*j+(-8/13)*k, (39)*e+(4)*i+(-190/13)*j+(6/13)*k,
(26)*e+(-80/13)*j+(-5/13)*k, (23)*e+(-67/13)*j+(-5/13)*k,
(3)*e+(-3/13)*j+(-1/13)*k, (23)*e+(28/13)*j+(-8/13)*k,
(37)*e+(3)*i+(-38/13)*j+(-17/13)*k, (39)*e+(-4)*i+(190/13)*j+(-6/13)*k,
(4)*e+(10/13)*j+(-1/13)*k, (7)*e+(23/13)*j+(-1/13)*k,
(16)*e+(-1/2)*i+(60/13)*j+(1/26)*k ]
imap= [ 15, 16, 18, 20, 21, 24, 12, 10, 22, 8, 23, 7, 26, 27, 1, 2, 28, 3,
25, 4, 5, 9, 11, 6, 19, 13, 14, 17 ]
rel=
[ [ 8, 9, 21, 4, 19, 24, 5, 20, 3, 17, 27, 13, 25, 18, 2, 15, 28, 16, 1, 14,
26, 12, 6, 23, 10, 7, 11, 22 ] ]
grel= [ e ]
----------------------
Text file Source (historic): geocities.com/assafwool/Quat
geocities.com/assafwool(to report bad content: archivehelp @ gmail)
|
|
|
|
|