?? tmlin2.tom
字號:
#############################################################################
##
#W tmlin2.tom GAP table of marks library Thomas Merkwitz
##
#H @(#)$Id: tmlin2.tom,v 4.5 2001/07/05 07:01:36 gap Exp $
##
#Y Copyright (C) 1997, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
##
## This file contains the tables of marks of linear groups $L2(??)$.
##
#H tomlib history
#H --------------
#H $Log: tmlin2.tom,v $
#H Revision 4.5 2001/07/05 07:01:36 gap
#H first revision for tomlib
#H
#H
#H tom history (GAP 4)
#H -------------------
#H (Rev. 4.5 of tomlib coincides with Rev. 4.4 of tom in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tom/tmlin2.tom,v
#H Working file: tmlin2.tom
#H head: 4.4
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.4.0.8
#H GAP4R2PRE2: 4.4.0.6
#H GAP4R2PRE1: 4.4.0.4
#H GAP4R1: 4.4.0.2
#H GAP4B5: 4.3.0.2
#H dec16-98b: 4.3
#H GAP4b4: 4.2
#H version-14-apr: 4.2
#H version-15-jun: 4.2
#H keyword substitution: kv
#H total revisions: 5; selected revisions: 5
#H description:
#H ----------------------------
#H revision 4.4
#H date: 1999/07/01 09:42:01; author: gap; state: Exp; lines: +5 -5
#H added list of definitions of standard generators
#H (taken from Thomas Merkwitz's thesis),
#H changed names of 2.S5`, 3`D4(2), 2`F4(2) to 2.S5', 3D4(2), 2F4(2)
#H for consistency with the names in the character table library
#H
#H TB
#H ----------------------------
#H revision 4.3
#H date: 1998/09/12 14:20:07; author: gap; state: Exp; lines: +5 -2
#H added some more fusions to the library of table of marks
#H T. Merkwitz
#H ----------------------------
#H revision 4.2
#H date: 1997/11/24 11:16:15; author: gap; state: Exp; lines: +4 -2
#H added table of marks of "G2(4)" to the library
#H ----------------------------
#H revision 4.1
#H date: 1997/11/20 11:51:33; author: gap; state: Exp; lines: +2 -2
#H changed revision number to 4.1
#H ----------------------------
#H revision 1.1
#H date: 1997/11/17 13:02:42; author: gap; state: Exp;
#H added new table of marks library file
#H ==========================================================================
#H
Revision.tmlin2_tom :=
"@(#)$Id: tmlin2.tom,v 4.5 2001/07/05 07:01:36 gap Exp $";
SetActualLibFileName("tmlin2");
LIBTOM( "L2(11)",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,2,3,6],[1,2,3,7],[1,2,3,8],[1,2,5,9],[1,
10],[1,2,3,4,11],[1,2,3,4,6,7,8,12],[1,5,10,13],[1,2,3,4,5,6,9,11,14],[1,2,3,
4,5,7,9,11,15],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1],[1,3,1,1],[1,3,1,1],[1,1,1,1],[1,5,1,1],[1,
1],[1,3,4,1,1],[1,7,1,3,1,1,1,1],[1,11,1,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,
6,10,6,5,1],[1,55,55,55,66,55,55,55,66,12,55,55,12,11,11,1]],
[1,2,3,4,5,6,6,6,10,11,12,12,55,60,60,660],
[16,12,12,11,9,12,12,12,9,13,11,12,13,14,15,16],
[1,1,1,1,1,3,3,1,5,1,4,3,10,14,15,16],
[( 1,10)( 2, 5)( 3, 7)( 4, 8)( 6, 9)(11,12),( 1, 5, 9)( 2, 7, 4)( 3, 8, 6)
(10,12,11)],
[[[[]]],[[[1,1,2,1],[1,1,2,-1,3,1,1,1,2,-1,3,1,1,1]]],[[[1,1,2,1],[2,-1,1,1,2,
-1,1,1,2,-1,3,2]]],[[[1,1,2,1],[2,1,1,1],[3,1,1,1,4,2,3,-2,2,-1]],[[1,1]]],[[[
1,1,2,1],[2,1,1,1,3,-2,2,1,3,2]]],[[[1,1,2,1],[2,-1,1,1,2,-1,1,1,2,-1,3,2]],[[
2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[2,-1,1,1,2,-1,1,1,2,-1,3,
2]],[[1,1,2,1],[3,1,1,1,2,1,1,1,3,-2]]],[[[2,1,1,1],[2,1,3,3,2,1,1,1]]],[[[1,
1,2,1],[1,1,2,-1,3,1,1,1,2,-1,3,1,1,1]],[[1,1,2,1],[2,1,1,1,3,-2,2,1,3,
2]]],[[[1,1,2,1,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,3,1],[2,1,1,1,3,-1,4,-2]],[[1,
1,2,1],[1,1,2,-1,3,1,1,1,2,-1,3,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,2,3,
-1]],[[2,1,1,1],[2,1,3,3,2,1,1,1]]],[[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,1]],[[1,1,
2,1,1,1,2,1,1,1]]],[[[1,1,2,-1,1,1,2,1,1,1]],[[2,1]]],[[[1,1,2,1],[3,2,2,1,1,
1]],[[2,1]]],[[[1,1]],[[2,1]]]]);
ACLT( "L2(11)",
"sortperm",( 6, 7, 8)(11,12));
LIBTOM( "L2(19)",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,2,3,6],[1,3,7],[1,2,5,8],[1,2,5,9],[1,2,5,
10],[1,2,3,4,11],[1,2,3,6,7,12],[1,13],[1,2,4,5,8,9,10,14],[1,3,13,15],[1,2,3,
4,5,6,9,11,16],[1,2,3,4,5,6,8,11,17],[1,3,7,13,15,18],[1,2,3,4,5,6,7,8,9,10,
11,12,13,14,15,16,17,18,19]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1],[1,3,1,1],[1,1,1],[1,5,1,1],[1,5,1,1],[1,1,1,
1],[1,3,4,1,1],[1,9,1,3,1,1],[1,1],[1,11,5,1,1,1,1,1],[1,19,1,1],[1,15,10,5,6,
10,6,5,1],[1,15,10,5,6,10,6,5,1],[1,19,19,1,1,1],[1,171,190,285,171,570,190,
171,171,171,285,190,20,171,20,57,57,20,1]],
[1,2,3,4,5,6,9,10,10,10,12,18,19,20,57,60,60,171,3420],
[19,14,12,11,14,6,12,14,14,14,11,12,18,14,18,16,17,18,19],
[1,1,1,1,1,3,1,5,5,1,4,7,1,5,13,16,17,13,19],
[( 1, 6)( 2,20)( 3,17)( 4,19)( 5, 7)( 8,14)( 9,15)(10,11)(12,13)(16,18),
( 1, 4,16)( 2, 7,14)( 3,19,13)( 5, 8,12)( 6,15, 9)(10,20,18)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,2,3,-1]],[[2,1,1,1],[
2,1,3,1,2,1,3,-1,1,1,2,1]]],[[[1,1,2,1],[2,1,1,1,3,-2]]],[[[1,1,2,1],[2,1,1,
1],[2,1,4,-1,3,1,2,1,3,2,4,-1]],[[2,1,1,1],[2,1,3,1,2,1,3,-1,1,1,2,1]]],[[[1,
1,2,-1,1,1,2,1],[3,1,1,1,2,-1,3,1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,2,1,1]],[[
2,-1,1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,1,4,2,2,1,4,-1,3,1]],[[2,1,
1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,3]]],[[[1,1,2,
1],[2,1,1,1],[4,1,2,1,4,-1,3,1,4,-1,1,1,3,-1,2,1,1,1]],[[2,-1,1,1,2,1]]],[[[1,
1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,3,1,4,-1]],[[1,1,2,1],[3,1,1,1,2,1,1,1,3,
-2]]],[[[1,1,2,1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,1,4,1,3,1,1,1,2,1,1,1]],[[2,
1,1,1],[2,-1,3,-1,1,1,2,1,3,-1,2,-1]]],[[[1,1,2,1],[2,1,3,1],[4,2,3,1,1,1,2,
-1]],[[1,1,2,-1,1,1,2,-1,1,1]]],[[[1,1,2,1],[3,2,2,1,1,1]],[[2,1]]],[[[1,1,2,
-1,1,1,2,1,1,1]],[[2,1]]],[[[1,1,2,1],[2,1,3,2,1,1,2,-1,3,2]],[[1,1,2,1,1,1,2,
1,1,1]]],[[[1,1]],[[2,1]]]]);
ACLT( "L2(19)",
"sortperm",( 8, 9,10));
LIBTOM( "L2(17)",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,2,3,7],[1,2,6,8],[1,2,4,6,9],[1,2,
5,6,10],[1,3,11],[1,2,3,4,12],[1,2,3,5,13],[1,2,4,5,6,8,9,10,14],[1,15],[1,2,
3,7,11,16],[1,2,3,4,6,7,9,12,17],[1,2,3,5,6,7,10,13,18],[1,2,15,19],[1,2,6,15,
19,20],[1,2,6,8,15,19,20,21],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,
20,21,22]],
0,
[[1],[1,1],[1,1],[1,3,1],[1,3,1],[1,1,1],[1,3,1,1],[1,1,1,1],[1,5,2,1,1],[1,5,
2,1,1],[1,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,9,2,2,1,1,1,1,1],[1,1],[1,9,1,3,1,
1],[1,9,4,4,3,4,3,1,1],[1,9,4,4,3,4,3,1,1],[1,17,1,1],[1,17,17,1,1,1],[1,17,
17,17,1,1,1,1],[1,153,136,102,102,153,408,153,153,153,136,102,102,153,18,136,
102,102,18,18,18,1]],
[1,2,3,4,4,4,6,8,8,8,9,12,12,16,17,18,24,24,34,68,136,2448],
[22,14,16,17,18,14,7,14,14,14,16,17,18,14,21,16,17,18,21,21,21,22],
[1,1,1,1,1,1,3,1,2,2,1,4,5,6,1,11,12,13,15,15,15,22],
[( 1, 3)( 2,18)( 4,10)( 5,13)( 7,12)( 8,16)( 9,14)(11,17),( 1, 9,10)( 2,12,16)
( 3, 7,17)( 4,15,18)( 5,11,13)( 6, 8,14)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[1,1,2,1],[3,1,1,1,2,1,1,1,3,-2]],[[2,1,1,1,2,1,
1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,1,4,1,3,1,1,1,2,1,1,1]],[[
1,1,2,1],[2,1,3,1],[4,1,3,1,4,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1,3,
-2,2,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[1,1,2,-1,3,1,1,1,4,2,2,1,4,-1,3,1]],[[2,
1,1,1,2,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,3]]],[[[1,1,2,
1],[1,1,2,-1],[4,2,3,1,4,1,3,1,1,1,2,1,1,1]],[[2,1,1,1],[2,1,3,2,2,1,1,1,2,-1,
1,1,3,1,2,-1]]],[[[1,1,2,1],[1,1,2,-1],[2,1,1,1,2,1,3,2,4,2,3,1]],[[2,1,1,1,2,
-1]]],[[[1,1,2,1],[2,1,1,1,3,-2]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,3,
2,4,1]],[[2,1,1,1,2,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,1,3,2,1,1,2,-1,1,1,
2,-1]],[[1,1,2,-1,1,1,2,-1,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,
2,-1,3,1,4,-1]],[[1,1,2,1],[3,2,2,1,1,1,2,1,3,1]]],[[[2,1,1,1],[3,2,2,1,1,
1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,1,1,3,-1]],[[1,1,2,1],[1,1,2,
-1],[4,2,3,2,1,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,2,-1,3,1,1,1],[5,
3]],[[1,1,2,1],[3,2,1,1,2,-1,3,-1,2,-1],[4,2]]],[[[1,1,2,1],[2,1,3,2,1,1,2,-1,
1,1,2,-1]],[[1,1,2,1],[2,1,3,1,2,1,1,1,3,-2],[4,2]]],[[[2,1,1,1],[2,1,3,1,2,1,
3,-1,1,1,2,1]],[[2,1,1,1,2,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,
3,-1,4,1,2,1,3,1]],[[2,1,1,1,2,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[2,1,3,1,2,
1,1,1,3,-2]],[[2,1,1,1,2,1,1,1,2,-1,1,1,2,-1]]],[[[1,1]],[[2,1]]]]);
LIBTOM( "L2(23)",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,2,3,7],[1,2,3,8],[1,2,3,9],[1,2,4,
5,6,10],[1,11],[1,2,3,4,7,12],[1,2,3,5,7,8,13],[1,2,3,6,7,9,14],[1,2,3,5,15],[
1,2,3,6,16],[1,2,11,17],[1,18],[1,2,3,4,5,6,7,8,9,10,12,13,14,19],[1,2,3,4,5,
6,8,10,15,20],[1,2,3,4,5,6,9,10,16,21],[1,11,18,22],[1,2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,22,23]],
0,
[[1],[1,1],[1,1],[1,1,1],[1,3,1],[1,3,1],[1,1,1,1],[1,3,1,1],[1,3,1,1],[1,5,1,
1,1,1],[1,1],[1,1,1,1,1,1],[1,7,1,3,1,2,1],[1,7,1,3,1,2,1],[1,3,4,1,1],[1,3,4,
1,1],[1,11,1,1],[1,1],[1,13,1,1,3,3,1,2,2,3,1,1,1,1],[1,9,4,3,1,3,4,3,1,1],[1,
9,4,3,3,1,4,3,1,1],[1,23,1,1],[1,253,253,253,253,253,253,506,506,759,276,253,
253,253,253,253,276,24,253,253,253,24,1]],
[1,2,3,4,4,4,6,6,6,8,11,12,12,12,12,12,22,23,24,24,24,253,6072],
[23,19,19,19,20,21,19,13,14,10,17,19,19,19,20,21,17,22,19,20,21,22,23],
[1,1,1,1,1,1,1,3,3,2,1,1,3,3,5,6,11,1,7,15,16,18,23],
[( 1,22)( 2,11)( 3,15)( 4,17)( 5, 9)( 6,19)( 7,13)( 8,20)(10,16)(12,21)(14,18)
(23,24),( 1,11,21)( 2,15,10)( 3,17,14)( 4, 9,16)( 5,19, 8)( 6,13,18)( 7,20,12)
(22,24,23)],
[[[[]]],[[[1,1]]],[[[2,1]]],[[[2,1,1,1],[3,2,2,-1,1,1,2,1,1,1]]],[[[1,1,2,1],[
2,1,1,1],[1,1,2,-1],[3,1,1,1,4,1,5,-1,2,1,4,1,2,1,3,2,5,1]],[[1,1,2,1],[2,1,1,
1],[4,1,2,1,4,-1,3,1,2,1,3,2,4,-1,1,1,2,-1]]],[[[2,1,1,1],[1,1,2,-1],[3,2,2,
-1,1,1],[4,1,5,-1,4,1,5,-1]],[[1,1,2,1,1,1,2,1,1,1],[3,1,2,1,1,1,2,-1,3,
-1]]],[[[1,1,2,1],[1,1,2,-1,3,2,2,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[3,1,1,1,4,2,
3,-2]],[[2,1,1,1,2,1,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,2,1,1,
2,1,1,1]],[[2,1,1,1],[2,-1,3,-1,1,1,2,1,3,-1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[2,
1,3,1,4,-1,1,1,2,-1,3,2,4,-1]],[[1,1,2,-1,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,1,
1],[3,1,4,-3,3,1,4,-1,2,-1]]],[[[1,1,2,1,1,1,2,-1]]],[[[1,1,2,-1,1,1,2,1,1,
1]],[[2,-1,1,1,2,1]]],[[[2,1,1,1],[2,1,3,1,2,1,3,-1,1,1,2,1]],[[1,1]]],[[[1,1,
2,1],[2,1,1,1],[4,1,2,1,4,-1,3,2,4,-2]],[[2,1,1,1],[2,-1,3,-1,1,1,2,1,3,-1,2,
-1]]],[[[2,1,1,1],[2,1,3,2,2,1,3,-1,1,1,2,1]],[[1,1,2,1],[1,1,2,-1,3,1,1,1,2,
-1,3,1,1,1]]],[[[2,1,1,1],[2,1,3,1,2,1,3,-1,1,1,2,1]],[[1,1,2,1],[3,1,1,1,2,1,
1,1,3,-2]]],[[[1,1,2,1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,1,4,1,3,1,1,1,2,1,1,
1]],[[1,1]]],[[[1,1,2,1],[1,1,2,-1],[4,1,3,2,4,2,3,1],[5,4]],[[1,1,2,1],[2,1,
1,1],[4,1,2,1,4,-1,3,1,4,1,2,1,3,2],[5,3]]],[[[2,1,1,1],[2,1,3,2,2,1,1,1,2,1,
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -