?? tmlino.tom
字號:
#############################################################################
##
#W tmlino.tom GAP table of marks library Thomas Merkwitz
##
#H @(#)$Id: tmlino.tom,v 4.2 2001/07/05 07:02:06 gap Exp $
##
#Y Copyright (C) 1997, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
##
## This file contains the tables of marks of linear groups $Lp(q) where
## p doesn't equal $2$.
##
#H tomlib history
#H --------------
#H $Log: tmlino.tom,v $
#H Revision 4.2 2001/07/05 07:02:06 gap
#H first revision for tomlib
#H
#H
#H tom history (GAP 4)
#H -------------------
#H (Rev. 4.2 of tomlib coincides with Rev. 4.1 of tom in GAP 4)
#H
#H RCS file: /gap/CVS/GAP/4.0/tom/tmlino.tom,v
#H Working file: tmlino.tom
#H head: 4.1
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.1.0.10
#H GAP4R2PRE2: 4.1.0.8
#H GAP4R2PRE1: 4.1.0.2
#H GAP4R1: 4.1.0.6
#H GAP4B5: 4.1.0.4
#H dec16-98b: 4.1
#H GAP4b4: 4.1
#H version-14-apr: 4.1
#H version-15-jun: 4.1
#H keyword substitution: kv
#H total revisions: 2; selected revisions: 2
#H description:
#H ----------------------------
#H revision 4.1
#H date: 1997/11/20 11:51:44; 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:03:32; author: gap; state: Exp;
#H added new table of marks library file
#H ==========================================================================
#H
Revision.tmlino_tom :=
"@(#)$Id: tmlino.tom,v 4.2 2001/07/05 07:02:06 gap Exp $";
SetActualLibFileName("tmlino");
LIBTOM( "L3(4)",
[[1],[1,2],[1,3],[1,2,4],[1,2,5],[1,2,6],[1,2,7],[1,2,8],[1,2,9],[1,2,10],[1,
2,11],[1,2,12],[1,2,13],[1,14],[1,2,3,15],[1,16],[1,2,5,11,17],[1,2,6,11,18],[
1,2,7,11,12,13,19],[1,2,4,11,20],[1,2,8,9,10,11,21],[1,2,4,8,13,22],[1,2,6,10,
12,23],[1,2,5,7,9,24],[1,2,4,5,6,25],[1,3,26],[1,2,14,27],[1,2,3,8,28],[1,2,3,
12,29],[1,2,3,10,30],[1,2,3,13,31],[1,2,3,7,32],[1,2,3,9,33],[1,2,3,11,34],[1,
2,8,9,10,11,21,35],[1,2,7,11,12,13,19,36],[1,2,4,11,20,37],[1,2,6,11,18,38],[
1,2,5,11,17,39],[1,2,4,6,8,9,10,11,18,20,21,40],[1,2,5,6,7,11,12,13,17,18,19,
41],[1,2,4,6,7,11,12,13,18,19,20,42],[1,2,4,5,8,9,10,11,17,20,21,43],[1,2,4,7,
8,9,10,11,12,13,19,20,21,22,44],[1,2,5,6,8,9,10,11,17,18,21,45],[1,2,5,7,8,9,
10,11,12,13,17,19,21,24,46],[1,2,4,5,6,11,17,18,20,25,47],[1,2,6,7,8,9,10,11,
12,13,18,19,21,23,48],[1,2,4,5,7,11,12,13,17,19,20,49],[1,2,3,15,26,50],[1,3,
16,51],[1,2,3,6,10,12,15,23,29,52],[1,2,3,4,8,13,15,22,31,53],[1,2,3,4,8,13,
15,22,28,54],[1,2,3,5,7,9,15,24,33,55],[1,2,3,6,10,12,15,23,30,56],[1,2,3,5,7,
9,15,24,32,57],[1,2,4,5,6,7,8,9,10,11,12,13,17,18,19,20,21,22,25,37,40,42,43,
44,47,49,58],[1,2,4,5,6,7,8,9,10,11,12,13,17,18,19,20,21,22,23,24,35,40,43,44,
45,46,48,59],[1,2,4,5,6,7,8,9,10,11,12,13,17,18,19,20,21,23,25,38,40,41,42,45,
47,48,60],[1,2,4,5,6,7,8,9,10,11,12,13,17,18,19,20,21,22,23,24,36,41,42,44,46,
48,49,61],[1,2,4,5,6,7,8,9,10,11,12,13,17,18,19,20,21,24,25,39,41,43,45,46,47,
49,62],[1,2,3,5,15,26,50,63],[1,2,3,6,15,26,50,64],[1,2,3,4,15,26,50,65],[1,2,
3,8,9,10,11,21,28,30,33,34,35,66],[1,2,3,7,11,12,13,19,29,31,32,34,36,67],[1,
2,3,5,11,17,34,39,68],[1,2,3,6,11,18,34,38,69],[1,2,3,4,11,20,34,37,70],[1,2,
3,13,14,15,27,31,71],[1,2,3,11,14,15,27,34,72],[1,2,3,7,14,15,27,32,73],[1,2,
3,12,14,15,27,29,74],[1,2,3,8,14,15,27,28,75],[1,2,3,10,14,15,27,30,76],[1,2,
3,9,14,15,27,33,77],[1,2,4,5,6,7,8,9,10,11,12,13,17,18,19,20,21,22,23,24,25,
35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,58,59,60,61,62,78],[1,2,3,4,5,6,
15,25,26,50,63,64,65,79],[1,2,7,11,12,13,14,19,36,80],[1,2,8,9,10,11,14,21,35,
81],[1,2,3,4,5,6,7,8,9,10,11,12,13,15,17,18,19,20,21,22,23,24,28,30,33,34,35,
40,43,44,45,46,48,54,55,56,59,66,82],[1,2,3,4,5,6,7,8,9,10,11,12,13,15,17,18,
19,20,21,22,23,24,29,31,32,34,36,41,42,44,46,48,49,52,53,57,61,67,83],[1,2,4,
5,6,7,8,9,10,11,12,13,14,17,18,19,20,21,22,23,24,27,36,41,42,44,46,48,49,61,
80,84],[1,2,4,5,6,7,8,9,10,11,12,13,14,17,18,19,20,21,22,23,24,27,35,40,43,44,
45,46,48,59,81,85],[1,2,3,6,10,12,15,16,23,29,30,51,52,56,86],[1,2,3,4,8,13,
15,16,22,28,31,51,53,54,87],[1,2,3,5,7,9,15,16,24,32,33,51,55,57,88],[1,2,3,4,
5,6,7,8,9,10,11,12,13,17,18,19,20,21,22,23,24,25,28,29,30,31,32,33,34,35,36,
37,38,39,40,41,42,43,44,45,46,47,48,49,58,59,60,61,62,66,67,68,69,70,78,89],[
1,2,3,5,7,9,14,15,24,26,27,32,33,50,55,57,63,73,77,90],[1,2,3,6,10,12,14,15,
23,26,27,29,30,50,52,56,64,74,76,91],[1,2,3,4,8,13,14,15,22,26,27,28,31,50,53,
54,65,71,75,92],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,18,19,20,21,22,23,24,
25,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,54,55,
56,58,59,60,61,62,66,67,68,69,70,71,72,73,74,78,81,82,85,89,93],[1,2,3,4,5,6,
7,8,9,10,11,12,13,14,15,17,18,19,20,21,22,23,24,25,27,28,29,30,31,32,33,34,35,
36,37,38,39,40,41,42,43,44,45,46,47,48,49,52,53,57,58,59,60,61,62,66,67,68,69,
70,72,75,76,77,78,80,83,84,89,94],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,
44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,
70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,
95]],
0,
[[1],[1,1],[1,1],[1,1,1],[1,1,1],[1,1,1],[1,3,1],[1,3,1],[1,3,1],[1,3,1],[1,3,
1],[1,3,1],[1,3,1],[1,1],[1,3,1,1],[1,1],[1,3,2,1,1],[1,3,2,1,1],[1,7,2,1,2,2,
1],[1,3,2,1,1],[1,7,2,2,2,1,1],[1,5,1,1,1,1],[1,5,1,1,1,1],[1,5,1,1,1,1],[1,1,
1,1,1,1],[1,4,1],[1,5,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,
3,4,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,15,10,10,10,5,15,1],[1,15,10,5,10,10,15,
1],[1,3,6,1,3,1],[1,3,6,1,3,1],[1,3,6,1,3,1],[1,7,2,2,2,2,2,1,1,1,1,1],[1,7,2,
2,2,1,2,2,1,1,1,1],[1,7,2,2,2,1,2,2,1,1,1,1],[1,7,2,2,2,2,2,1,1,1,1,1],[1,11,
2,2,2,2,2,1,2,2,1,1,1,4,1],[1,7,2,2,2,2,2,1,1,1,1,1],[1,11,2,2,2,2,2,1,2,2,1,
1,1,4,1],[1,3,2,2,2,1,1,1,1,4,1],[1,11,2,2,2,2,2,1,2,2,1,1,1,4,1],[1,7,2,2,2,
1,2,2,1,1,1,1],[1,9,4,12,1,1],[1,7,1,1],[1,9,4,3,3,1,4,3,1,1],[1,9,4,3,3,1,4,
3,1,1],[1,9,4,3,1,3,4,3,1,1],[1,9,4,3,3,1,4,3,1,1],[1,9,4,3,1,3,4,3,1,1],[1,9,
4,3,1,3,4,3,1,1],[1,11,6,2,2,2,2,2,2,1,2,2,1,1,1,3,1,4,4,1,1,1,1,1,1,1,1],[1,
19,2,2,2,2,10,10,10,5,2,2,1,1,1,1,15,4,4,4,1,1,1,1,1,1,1,1],[1,11,2,2,6,2,2,2,
2,1,2,2,1,3,1,1,1,4,4,1,1,1,1,1,1,1,1],[1,19,2,2,2,10,2,2,2,5,10,10,1,1,15,1,
1,4,4,4,1,1,1,1,1,1,1,1],[1,11,2,6,2,2,2,2,2,1,2,2,3,1,1,1,1,4,4,1,1,1,1,1,1,
1,1],[1,9,4,9,12,1,1,1],[1,9,4,9,12,1,1,1],[1,9,4,9,12,1,1,1],[1,15,16,10,10,
10,5,15,4,4,4,8,1,1],[1,15,16,10,5,10,10,15,4,4,4,8,1,1],[1,3,16,6,1,3,4,1,
1],[1,3,16,6,1,3,4,1,1],[1,3,16,6,1,3,4,1,1],[1,15,10,5,6,10,6,5,1],[1,15,10,
5,6,10,6,5,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,6,10,6,
5,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,6,10,6,5,1],[1,27,6,6,6,10,10,10,10,9,
10,10,3,3,15,3,15,12,12,12,12,1,1,1,1,1,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,1],[1,9,
4,9,9,9,12,9,1,1,1,1,1,1],[1,15,10,5,10,10,16,15,1,1],[1,15,10,10,10,5,16,15,
1,1],[1,27,16,6,6,6,6,10,10,10,5,6,6,16,3,3,3,3,15,12,12,12,4,4,4,8,1,3,3,3,3,
3,3,4,4,4,3,1,1],[1,27,16,6,6,6,10,6,6,6,5,10,10,16,3,3,15,3,3,12,12,12,4,4,4,
8,1,3,3,3,3,3,3,4,4,4,3,1,1],[1,35,10,10,10,10,10,10,10,5,10,10,16,5,5,15,5,5,
20,20,20,16,1,5,5,5,5,5,5,5,1,1],[1,35,10,10,10,10,10,10,10,5,10,10,16,5,5,5,
5,15,20,20,20,16,1,5,5,5,5,5,5,5,1,1],[1,21,28,21,7,7,28,8,21,7,7,8,7,7,1],[1,
21,28,21,7,7,28,8,21,7,7,8,7,7,1],[1,21,28,21,7,7,28,8,21,7,7,8,7,7,1],[1,27,
64,6,6,6,10,10,10,10,9,10,10,3,3,15,3,15,12,12,12,12,16,16,16,16,16,16,48,1,1,
1,1,1,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,4,4,4,4,4,1,1],[1,45,40,45,15,15,36,120,
45,10,36,15,15,10,15,15,10,6,6,1],[1,45,40,45,15,15,36,120,45,10,36,15,15,10,
15,15,10,6,6,1],[1,45,40,45,15,15,36,120,45,10,36,15,15,10,15,15,10,6,6,1],[1,
75,160,30,30,30,50,10,10,10,25,50,50,96,160,15,15,75,15,15,60,60,60,60,96,40,
80,40,80,80,40,160,1,5,5,5,5,15,15,15,15,15,15,15,15,15,15,40,40,40,15,15,15,
15,15,10,20,20,20,20,16,16,16,16,5,6,10,6,5,1],[1,75,160,30,30,30,10,50,50,50,
25,10,10,96,160,15,15,15,15,75,60,60,60,60,96,80,40,80,40,40,80,160,5,1,5,5,5,
15,15,15,15,15,15,15,15,15,15,40,40,40,15,15,15,15,15,20,10,20,20,20,16,16,16,
16,5,6,10,6,5,1],[1,315,1120,630,630,630,210,210,210,210,105,210,210,2016,
3360,960,315,315,315,315,315,1260,1260,1260,1260,280,2016,840,840,840,840,840,
840,1680,21,21,105,105,105,315,315,315,315,315,315,315,315,315,315,280,960,
840,840,840,840,840,840,315,315,315,315,315,280,280,280,210,210,420,420,420,
336,336,336,336,336,336,336,105,280,126,126,210,210,126,126,120,120,120,105,
56,56,56,21,21,1]],
[1,2,3,4,4,4,4,4,4,4,4,4,4,5,6,7,8,8,8,8,8,8,8,8,8,9,10,12,12,12,12,12,12,12,
16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,18,21,24,24,24,24,24,24,32,32,32,
32,32,36,36,36,48,48,48,48,48,60,60,60,60,60,60,60,64,72,80,80,96,96,160,160,
168,168,168,192,360,360,360,960,960,20160],
[95,78,50,58,62,60,83,82,82,82,89,83,83,27,15,51,78,78,78,78,78,44,48,46,47,
79,27,54,52,56,53,57,55,34,93,94,89,89,89,78,78,78,78,78,78,78,78,78,78,79,51,
52,53,54,55,56,57,78,78,78,78,78,79,79,79,82,83,68,69,70,71,72,73,74,75,76,77,
89,79,84,85,82,83,84,85,86,87,88,89,90,91,92,93,94,95],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,3,1,1,1,1,1,1,2,2,2,2,1,14,8,12,10,13,7,9,11,1,1,
1,1,1,2,2,2,2,2,2,2,2,2,2,26,16,29,31,28,33,30,32,11,11,11,11,11,26,26,26,35,
36,39,38,37,71,72,73,74,75,76,77,11,50,36,35,66,67,80,81,86,87,88,78,90,91,92,
93,94,95],
[( 2, 3)( 4, 6)( 5, 8)( 9,12)(10,14)(11,15)(13,17)(20,21),( 1, 2, 4, 7)
( 3, 5, 9,13)( 6,10,15,19)( 8,11)(12,16)(14,18,20,17)],
[[[[]]],[[[1,1,2,1],[2,1,1,1],[3,1,2,1,4,-1,3,2,4,1]]],[[[1,1,2,1],[2,1,1,1],[
4,1,3,-1,4,1,3,-1,2,-1,3,-1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,-1,3,1,4,2]]],[[[
1,1,2,1],[3,1,2,1,1,1,2,-1,3,2,2,1]]],[[[1,1,2,1],[2,-2,1,1,3,-1,2,1,3,
2]]],[[[1,1,2,1],[2,1,3,1],[4,1,3,1,2,1,1,1,4,-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],[4,2,3,-1,4,1,3,-1,2,-1]],[[2,1,1,1],[
1,1,2,-1,1,1,2,1,3,2]]],[[[1,1,2,1],[2,1,1,1],[3,1,2,1,4,-1,3,2,4,1]],[[1,1,2,
1],[2,-2,1,1,2,-1,3,2,2,1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-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],[1,1,2,-1],[5,1,3,1,2,1,
3,1,5,1,3,1,4,2]],[[1,1,2,1],[1,1,2,-1],[3,2,1,1,2,-1],[5,1,4,1,5,1,4,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],[2,1,1,1],[3,1,2,1,4,-1,3,2,4,1]],[[1,1,2,1],[2,1,1,1,3,1,2,1,3,1]]],[[[1,
1,2,1],[2,1,3,2,1,1,2,-1,3,-1,2,-2]]],[[[1,1,2,1],[2,1,1,1,3,1,2,1,3,1,1,1,2,
-1,3,1]],[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,1,3,-1,2,-1,3,-1]]],[[[1,1,2,1],[3,
2],[4,1,1,1,2,-1,4,-1]]],[[[1,1,2,1],[2,1,1,1],[3,2,2,1,4,-2,3,-2,2,-1]],[[1,
1,2,1],[2,1,1,1],[2,1,3,2],[4,1,5,1,4,1,5,-1]]],[[[1,1,2,1],[2,1,1,1],[3,1,2,
1,4,-1,3,2,4,1]],[[1,1,2,1],[2,-2,1,1,3,-1,2,1,3,2]]],[[[1,1,2,1],[2,1,1,1],[
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -