?? tmtwmx.tom
字號:
#############################################################################
##
#W tmtwmx.tom GAP table of marks library Thomas Merkwitz
##
#H @(#)$Id: tmtwmx.tom,v 4.5 2003/12/15 09:59:52 gap Exp $
##
#Y Copyright (C) 1997, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
##
## This file contains the tables of marks of maximal subgroups of simple
## twisted groups.
##
#H tomlib history
#H --------------
#H $Log: tmtwmx.tom,v $
#H Revision 4.5 2003/12/15 09:59:52 gap
#H ***&{^3}D_4(2)&:&The derived subgroup for the last classes in the maximal
#H subgroups $S_3 \times L_2(8)$ and $(7 \times L_2(7)):3$ were corrected,
#H they are in the last but one class not in the last
#H TB
#H
#H Revision 4.4 2001/07/05 07:20:24 gap
#H first revision for tomlib
#H
#H
#H tom history (GAP 4)
#H -------------------
#H (Rev. 4.4 of tomlib coincides with Rev. 4.3 of tom in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tom/tmtwmx.tom,v
#H Working file: tmtwmx.tom
#H head: 4.3
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.3.0.8
#H GAP4R2PRE2: 4.3.0.6
#H GAP4R2PRE1: 4.3.0.4
#H GAP4R1: 4.3.0.2
#H GAP4B5: 4.2.0.4
#H dec16-98b: 4.2
#H GAP4b4: 4.2
#H version-14-apr: 4.2
#H version-15-jun: 4.2
#H keyword substitution: kv
#H total revisions: 4; selected revisions: 4
#H description:
#H ----------------------------
#H revision 4.3
#H date: 1999/07/01 09:42:05; author: gap; state: Exp; lines: +11 -11
#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.2
#H date: 1997/12/05 14:56:53; author: gap; state: Exp; lines: +323 -3
#H added new table of marks "3`D4(2)"
#H ----------------------------
#H revision 4.1
#H date: 1997/11/20 12:38:07; author: gap; state: Exp; lines: +2 -2
#H changed revisio number to 4.1
#H ----------------------------
#H revision 1.1
#H date: 1997/11/19 13:24:27; author: gap; state: Exp;
#H added new table of marks library files
#H ==========================================================================
#H
Revision.tmtwmx_tom :=
"@(#)$Id: tmtwmx.tom,v 4.5 2003/12/15 09:59:52 gap Exp $";
SetActualLibFileName("tmtwmx");
LIBTOM( "2^(3+3):7",
[[1],[1,2],[1,2,3],[1,2,4],[1,5],[1,2,3,6],[1,2,3,4,7],[1,2,3,4,8],[1,2,3,4,
9],[1,2,3,4,6,7,8,9,10],[1,2,3,4,6,7,8,9,10,11],[1,2,3,5,6,12],[1,2,3,4,6,7,8,
9,10,11,13],[1,2,3,4,5,6,7,8,9,10,11,12,13,14]],
0,[[1],[1,1],[1,3,1],[1,1,1],[1,1],[1,7,7,1],[1,3,1,2,1],[1,3,1,2,1],[1,3,1,2,
1],[1,7,7,4,1,2,2,2,1],[1,7,7,12,1,6,6,6,3,1],[1,7,7,8,1,1],[1,7,7,28,1,14,14,
14,7,7,1],[1,7,7,28,64,1,14,14,14,7,7,8,1,1]],
[1,2,4,4,7,8,8,8,8,16,32,56,64,448],
[14,13,13,10,5,14,11,11,11,13,13,12,14,14],
[1,1,1,1,1,1,1,1,1,1,2,6,6,13],
[( 1,55,46,54,40,21, 8)( 2,31,42,24,12, 5, 9)( 3,39,30,19,41,22,10)
( 4,28,36,20,37,23,11)( 6,29,56,51,43,25,13)( 7,49,35,18,44,26,14)
(15,53,38,27,34,17,32)(16,45,50,47,52,48,33),( 1,24,37,15)( 2,16)( 3,31,14,17)
( 5,41,38,18)( 6,19)( 7, 8,39,20)( 9,27)(10,28)(11,48,46,29)(12,23)
(13,49,47,30)(21,43,36,45)(22,44)(25,42,50,32)(26,40)(34,51)(35,52)(53,55)],
[[[[]]],[[[2,-2]]],[[[1,1,2,-2,1,-1]],[[2,-2]]],[[[2,1]]],[[[1,-3]]],[[[2,1,1,
-1,2,-2,1,1,2,1]],[[2,-2]],[[1,1,2,-2,1,-1]]],[[[1,1,2,1],[3,1,1,-2,3,1]],[[1,
1,2,-1,1,-1,2,-1]]],[[[1,1,2,1,1,-1,2,-1]],[[2,-2]]],[[[1,1,2,-1,1,-1,2,1]],[[
1,1,2,-2,1,-1]]],[[[1,1,2,1,1,-1,2,-1]],[[2,-2]],[[1,1,2,-1,1,-1,2,-1]]],[[[2,
1,1,-1,2,-1,1,1]],[[1,1,2,-1,1,-1]],[[2,-2]]],[[[1,1,2,1]],[[2,-2]]],[[[1,-1,
2,1,1,1]],[[2,1]],[[1,1,2,1,1,-1]]],[[[1,1]],[[2,1]]]]);
LIBTOM( "13:4",
[[1],[1,2],[1,2,3],[1,4],[1,2,4,5],[1,2,3,4,5,6]],
0,[[1],[1,1],[1,1,1],[1,1],[1,13,1,1],[1,13,13,1,1,1]],
[1,2,4,13,26,52],
[6,3,3,6,6,6],
[1,1,1,1,4,4],
[( 1, 2)( 3, 4)( 5, 7)( 6, 8)(10,12)(11,13),( 2, 8, 5, 3)( 4,11, 9, 6)
( 7,13,12,10)],
[[[[]]],[[[1,1]]],[[[2,-1]]],[[[1,1,2,-2]]],[[[2,-2]],[[1,1]]],[[[1,1]],[[2,
1]]]]);
LIBTOM( "5:4",
[[1],[1,2],[1,2,3],[1,4],[1,2,4,5],[1,2,3,4,5,6]],
0,[[1],[1,1],[1,1,1],[1,1],[1,5,1,1],[1,5,5,1,1,1]],
[1,2,4,5,10,20],
[6,3,3,6,6,6],
[1,1,1,1,4,4],
[(1,2)(4,5),(2,5,4,3)],
[[[[]]],[[[1,1]]],[[[2,-1]]],[[[2,1,1,1,2,1]]],[[[2,-2]],[[1,1]]],[[[1,1]],[[
2,1]]]]);
LIBTOM( "D14",
[[1],[1,2],[1,3],[1,2,3,4]],
0,[[1],[1,1],[1,1],[1,7,1,1]],
[1,2,7,14],
[4,2,4,4],
[1,1,1,3],
[(2,4)(3,5)(6,7),(1,2)(3,4)(5,7)],
[[[[]]],[[[1,1]]],[[[1,1,2,1]]],[[[1,1]],[[2,1]]]]);
LIBTOM( "2.[2^8]:5:4",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,2,3,8],[1,2,4,9],[1,3,4,10],[1,3,
4,11],[1,3,6,12],[1,3,4,13],[1,2,5,14],[1,3,5,15],[1,4,16],[1,3,7,17],[1,2,
18],[1,3,5,19],[1,3,6,7,20],[1,4,6,21],[1,2,6,7,22],[1,3,23],[1,4,24],[1,4,7,
25],[1,4,26],[1,5,6,7,27],[1,4,6,7,28],[1,5,6,7,29],[1,4,5,30],[1,5,7,31],[1,
4,5,32],[1,4,5,33],[1,5,6,34],[1,4,35],[1,7,36],[1,7,37],[1,38],[1,2,3,4,8,9,
10,39],[1,2,4,9,16,40],[1,2,3,4,8,9,13,41],[1,2,3,4,8,9,11,42],[1,2,3,8,18,
43],[1,3,4,7,10,17,25,44],[1,2,3,5,8,14,15,19,45],[1,3,4,6,10,12,21,46],[1,3,
4,5,10,15,30,47],[1,3,5,6,12,19,34,48],[1,3,5,6,7,12,17,19,29,49],[1,3,5,7,17,
19,31,50],[1,3,5,6,7,12,17,19,27,51],[1,2,4,9,24,52],[1,3,4,10,11,16,53],[1,3,
4,5,10,19,30,54],[1,2,3,8,23,55],[1,2,4,5,9,14,30,56],[1,3,4,10,23,57],[1,3,4,
6,7,10,12,17,28,58],[1,2,4,9,26,59],[1,2,4,9,18,60],[1,3,4,10,23,61],[1,2,3,6,
7,8,12,17,20,22,62],[1,4,24,35,63],[1,3,4,10,11,13,16,64],[1,3,4,6,7,10,20,21,
25,28,65],[1,3,4,10,26,66],[1,4,7,24,25,67],[1,2,4,9,35,68],[1,4,16,24,26,
69],[1,4,16,24,26,70],[1,3,4,10,35,71],[1,2,4,5,9,14,32,33,72],[1,4,24,35,
73],[1,2,4,6,7,9,21,22,25,28,74],[1,2,4,9,18,75],[1,4,6,21,24,76],[1,3,4,10,
35,77],[1,3,4,10,24,78],[1,4,7,25,26,35,79],[1,4,5,16,30,32,33,80],[1,2,5,6,7,
14,22,27,29,31,34,81],[1,3,7,17,36,82],[1,3,4,7,13,25,35,83],[1,4,6,7,21,24,
25,84],[1,3,4,7,11,17,23,85],[1,3,4,6,13,21,35,86],[1,4,7,16,25,35,87],[1,4,6,
21,26,35,88],[1,4,24,89],[1,4,24,90],[1,4,7,25,26,35,91],[1,3,5,19,23,92],[1,
3,5,7,15,17,23,93],[1,2,3,5,8,14,18,94],[1,3,4,6,11,12,23,95],[1,4,5,16,30,32,
33,96],[1,3,7,17,37,97],[1,3,4,5,11,15,19,32,33,98],[1,4,5,24,33,99],[1,3,5,6,
7,15,20,27,29,31,34,100],[1,4,5,24,32,101],[1,4,6,16,21,35,102],[1,4,6,21,26,
35,103],[1,3,4,13,24,26,104],[1,2,4,5,9,14,18,105],[1,3,5,6,12,15,23,106],[1,
4,24,35,107],[1,2,18,108],[1,5,6,7,29,36,109],[1,4,5,6,7,25,27,28,29,30,31,
110],[1,5,7,31,36,37,111],[1,5,7,31,36,37,112],[1,4,5,26,32,33,113],[1,5,6,7,
29,37,114],[1,3,23,115],[1,2,6,7,22,36,37,116],[1,3,6,7,20,36,37,117],[1,4,5,
6,7,21,27,28,29,30,34,118],[1,2,38,119],[1,7,38,120],[1,6,38,121],[1,2,3,4,8,
9,10,11,16,39,40,42,53,122],[1,2,3,4,5,8,9,10,14,15,19,30,39,45,47,54,56,
123],[1,2,3,4,8,9,10,11,13,16,39,40,41,42,64,124],[1,2,3,4,8,9,10,18,39,43,60,
125],[1,3,4,10,11,13,16,53,64,126],[1,2,3,4,6,7,8,9,10,12,17,20,21,22,25,28,
39,44,46,58,62,65,74,127],[1,2,3,4,8,9,10,26,39,59,66,128],[1,2,3,4,8,9,10,23,
39,55,57,61,129],[1,2,3,4,8,9,11,18,42,43,75,130],[1,2,3,4,8,9,10,24,39,52,78,
131],[1,2,3,4,5,8,9,11,14,15,19,32,33,42,45,72,98,132],[1,2,4,5,9,14,16,18,30,
40,56,60,105,133],[1,2,4,9,16,18,40,60,75,134],[1,2,3,4,5,8,9,13,14,18,30,41,
56,60,94,135],[1,3,4,5,7,10,15,17,23,25,30,44,47,61,93,136],[1,3,4,5,6,7,10,
12,17,19,21,27,28,29,30,34,46,48,49,51,54,58,118,137],[1,2,3,5,6,7,8,12,14,15,
17,19,20,22,27,29,31,34,45,48,49,50,51,62,81,100,138],[1,3,4,5,6,10,12,15,21,
23,30,46,47,61,106,139],[1,2,4,9,16,24,40,52,140],[1,2,4,9,16,24,26,40,52,59,
69,70,141],[1,2,4,9,18,24,52,75,142],[1,2,3,5,8,14,15,19,23,45,55,92,143],[1,
2,3,4,8,9,10,35,39,68,71,77,144],[1,2,4,9,18,24,52,75,145],[1,3,4,5,6,7,10,12,
17,19,25,27,28,29,30,31,44,49,50,51,54,58,110,146],[1,2,4,5,9,14,16,30,32,33,
40,56,72,80,96,147],[1,2,3,4,8,9,13,24,26,41,52,59,104,148],[1,2,4,5,9,14,24,
32,33,52,72,101,149],[1,3,4,7,10,11,16,17,23,25,44,53,57,85,150],[1,2,4,5,9,
14,24,32,33,52,72,99,151],[1,3,4,6,10,11,12,16,21,23,46,53,57,95,152],[1,2,4,
9,16,26,40,59,153],[1,2,3,4,5,8,9,11,14,18,30,42,56,60,94,105,154],[1,2,4,5,9,
14,18,24,32,33,52,72,75,155],[1,3,4,5,10,15,24,30,47,78,156],[1,2,3,4,5,8,9,
13,14,15,18,19,41,43,45,94,105,157],[1,2,4,5,9,14,18,26,32,33,59,72,75,158],[
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -