?? tmalt1.tom
字號(hào):
#############################################################################
##
#W tmalt1.tom GAP table of marks library Thomas Merkwitz
##
#H @(#)$Id: tmalt1.tom,v 4.5 2001/07/05 06:56:41 gap Exp $
##
#Y Copyright (C) 1997, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
##
## This file contains the tables of marks of alternating groups.
##
#H tomlib history
#H --------------
#H $Log: tmalt1.tom,v $
#H Revision 4.5 2001/07/05 06:56:41 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/tmalt1.tom,v
#H Working file: tmalt1.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.2.0.2
#H dec16-98b: 4.2
#H GAP4b4: 4.1
#H version-14-apr: 4.1
#H version-15-jun: 4.1
#H keyword substitution: kv
#H total revisions: 5; selected revisions: 5
#H description:
#H ----------------------------
#H revision 4.4
#H date: 1999/07/01 09:41:58; author: gap; state: Exp; lines: +76 -22
#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: 1999/06/08 10:24:35; author: gap; state: Exp; lines: +26 -82
#H adjusted to new library version,
#H start of explicit documentation of chosen standard generators in the
#H data files (currently only for alternating groups)
#H
#H TB
#H ----------------------------
#H revision 4.2
#H date: 1998/09/12 14:20:00; author: gap; state: Exp; lines: +50 -2
#H added some more fusions to the library of table of marks
#H T. Merkwitz
#H ----------------------------
#H revision 4.1
#H date: 1997/11/20 11:34:19; author: gap; state: Exp; lines: +2 -2
#H changed revision number to 4.1
#H ----------------------------
#H revision 1.1
#H date: 1997/11/17 12:48:33; author: gap; state: Exp;
#H added new table of marks library file
#H ==========================================================================
#H
Revision.tmalt1_tom :=
"@(#)$Id: tmalt1.tom,v 4.5 2001/07/05 06:56:41 gap Exp $";
SetActualLibFileName("tmalt1");
LIBTOM( "A5",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,2,3,6],[1,2,5,7],[1,2,3,4,8],[1,2,3,4,5,6,7,
8,9]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1],[1,3,1,1],[1,5,1,1],[1,3,4,1,1],[1,15,10,5,6,
10,6,5,1]],
[1,2,3,4,5,6,10,12,60],
[9,4,6,8,7,6,7,8,9],
[1,1,1,1,1,3,5,4,9],
[(2,4)(3,5),(1,2,5)],
[[[[]]],[[[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]]],[[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1,1,1,2,1]],[[1,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]]],[[[2,1,1,1,2,
-1]],[[2,-1,1,1,2,1]]],[[[2,1,1,1,2,-1,1,1,2,-1]],[[1,1]]],[[[1,1]],[[2,
1]]]]);
LIBTOM( "A6",
[[1],[1,2],[1,3],[1,4],[1,5],[1,2,6],[1,2,7],[1,2,8],[1,2,3,9],[1,2,4,10],[1,
2,6,7,8,11],[1,3,4,12],[1,2,5,13],[1,2,3,8,14],[1,2,4,7,15],[1,2,3,4,9,10,12,
16],[1,2,3,6,7,8,9,11,14,17],[1,2,4,6,7,8,10,11,15,18],[1,2,3,4,6,9,10,12,16,
19],[1,2,3,5,8,9,13,14,20],[1,2,4,5,7,10,13,15,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,1],[1,1],[1,1,1],[1,3,1],[1,3,1],[1,3,1,1],[1,3,1,1],[1,5,
1,1,1,1],[1,2,2,1],[1,5,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,9,2,2,6,6,1,1],[1,9,4,
3,3,1,4,3,1,1],[1,9,4,3,1,3,4,3,1,1],[1,9,2,2,9,6,6,1,1,1],[1,15,10,6,5,10,6,
5,1],[1,15,10,6,5,10,6,5,1],[1,45,20,20,36,45,15,15,60,60,45,10,36,15,15,10,
15,15,10,6,6,1]],
[1,2,3,3,5,4,4,4,6,6,8,9,10,12,12,18,24,24,36,60,60,360],
[22,11,16,16,13,11,18,17,9,10,11,19,13,17,18,19,17,18,19,20,21,22],
[1,1,1,1,1,1,1,1,3,4,2,1,5,8,7,12,14,15,12,20,21,22],
[(1,2)(3,4),(1,2,4,5)(3,6)],
[[[[]]],[[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,1,
4,-2,3,-1]]],[[[1,1,2,1],[3,2,2,1,1,1,2,-1,3,1]]],[[[1,1,2,1],[2,1,1,1],[2,1,
3,1,4,-1,3,1,4,-1]]],[[[2,1,1,1],[3,2,2,-1,1,1,2,-2]]],[[[2,1,1,1],[3,1,2,-1,
1,1,3,1,2,-1]],[[1,1]]],[[[1,1,2,1],[2,1,1,1],[4,2,3,-1,4,1,2,-2,3,1]],[[2,1,
1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,1,4,-2,3,-1]],[[1,
1,2,1],[3,2,2,1,1,1,2,1,3,1]]],[[[1,1,2,1],[2,1,3,1],[4,1,3,1,2,1,1,1,4,
-1]],[[1,1,2,1],[3,2,2,1,1,1,2,-1,3,1]]],[[[1,1,2,1],[2,1,1,1],[4,2,3,-1,4,1,
2,-2,3,1]],[[1,1]]],[[[1,1,2,1],[2,1,1,1,3,-2,2,1,3,1]],[[1,1,2,1],[3,2,2,1,1,
1,2,-1,3,1]]],[[[1,1,2,1],[3,1,1,1,2,-1,3,-2]],[[1,1,2,1],[2,1,1,1,3,1,2,1,3,
1]]],[[[1,1,2,1],[1,1,2,-1,3,1,2,1,3,1]],[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,
-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-2,2,1,4,-1,3,1]],[[1,1]]],[[[1,1,2,1],[2,
1,1,1,3,-2,2,1,3,1]],[[1,1,2,-1,1,1,2,1,1,1]],[[1,1,2,1],[2,1,1,1,3,2,2,
1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,1,4,-2,3,-1]],[[1,1,2,1],[2,1,1,1],[3,1,4,2,
3,-2]]],[[[1,1,2,1],[3,1,2,1,1,1,2,-1,3,2]],[[2,1,1,1],[3,2,2,-1,1,1,2,
-2]]],[[[1,1,2,-1,1,1,2,1,1,1]],[[2,1,1,1,2,-1,1,1]]],[[[1,1]],[[1,1,2,1],[3,
1,2,1,3,1,1,1,2,-1]]],[[[1,1]],[[1,1,2,1],[1,1,2,-1,3,2,2,1]]],[[[1,1]],[[2,
1]]]]);
LIBTOM( "A7",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,6],[1,2,7],[1,8],[1,2,3,9],[1,2,3,10],[1,
2,4,11],[1,12],[1,2,5,6,7,13],[1,3,4,14],[1,2,8,15],[1,2,4,5,16],[1,2,3,5,
17],[1,2,3,5,9,18],[1,2,4,5,19],[1,2,3,7,9,20],[1,2,4,6,21],[1,2,3,6,9,10,
22],[1,2,3,4,10,11,14,23],[1,2,7,8,15,24],[1,4,12,25],[1,2,4,5,6,7,11,13,19,
26],[1,2,3,5,6,7,9,10,13,18,20,22,27],[1,2,4,5,6,7,11,13,21,28],[1,2,3,5,6,7,
10,13,17,29],[1,2,4,5,6,7,11,13,16,30],[1,2,3,4,5,9,14,16,17,18,19,31],[1,2,3,
4,7,10,11,14,23,32],[1,2,3,5,8,10,15,17,33],[1,2,4,6,8,11,15,21,34],[1,2,3,4,
5,6,7,9,10,11,13,14,16,17,18,19,20,22,23,26,27,29,30,31,35],[1,2,3,5,6,7,8,9,
10,13,15,17,22,24,29,33,36],[1,2,4,5,6,7,11,12,13,19,21,25,26,28,37],[1,2,4,5,
6,7,11,12,13,16,21,25,28,30,38],[1,2,3,4,5,6,7,8,10,11,13,14,15,17,21,23,28,
29,32,33,34,39],[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]],
0,
[[1],[1,1],[1,1],[1,1],[1,3,1],[1,3,1],[1,1,1],[1,1],[1,1,1,1],[1,3,1,1],[1,3,
1,1],[1,1],[1,5,1,1,1,1],[1,2,2,1],[1,5,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,3,1,1,
3,1],[1,3,4,1,1],[1,1,1,3,1,1],[1,3,4,1,1],[1,7,1,3,1,2,1],[1,9,2,2,6,6,1,1],[
1,5,5,1,1,1],[1,7,1,1],[1,9,4,1,3,3,4,3,1,1],[1,9,1,1,3,3,3,2,3,1,1,1,1],[1,9,
4,3,1,3,4,3,1,1],[1,9,4,1,3,3,4,3,1,1],[1,9,4,1,3,3,4,3,1,1],[1,3,5,8,1,3,4,1,
1,1,1,1],[1,9,2,2,9,6,6,1,1,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,6,10,6,5,1],[
1,21,5,8,1,9,9,3,18,24,9,4,1,1,1,1,3,3,4,3,3,3,3,1,1],[1,25,10,5,15,15,6,10,
20,15,6,5,10,6,5,1,1],[1,21,28,7,7,21,28,8,21,7,7,8,7,7,1],[1,21,28,7,7,21,28,
8,21,7,7,8,7,7,1],[1,45,20,20,15,15,45,36,60,60,45,10,36,15,15,10,15,15,10,6,
6,1],[1,105,35,140,35,105,315,126,105,210,420,120,315,70,126,35,35,35,35,105,
105,105,70,126,120,105,105,105,105,105,35,70,21,42,35,21,15,15,7,1]],
[1,2,3,3,4,4,4,5,6,6,6,7,8,9,10,12,12,12,12,12,12,12,18,20,21,24,24,24,24,24,
36,36,60,60,72,120,168,168,360,2520],
[40,27,35,23,35,28,13,24,27,22,11,25,13,32,24,35,35,35,35,27,28,27,32,24,25,
26,27,28,29,30,35,32,36,34,35,36,37,38,39,40],
[1,1,1,1,1,1,1,1,1,3,4,1,2,1,8,5,5,1,5,3,6,3,14,8,12,19,9,21,17,16,5,14,33,34,
31,33,37,38,39,40],
[(1,2,3),(3,4,5,6,7)],
[[[[]]],[[[2,1,1,-1,2,-1,1,-1]]],[[[1,1]]],[[[1,-1,2,1,1,1,2,1]]],[[[1,-1],[3,
1,2,-2,1,-1,2,1,1,-1,2,1,3,-1]],[[1,-1],[3,1,2,-1,1,-1,2,-1,3,1,2,2,1,1]]],[[[
1,-1],[3,1,2,-1,1,1,2,-1,3,1,2,1,1,1,2,1]],[[1,-1],[3,1,2,1,1,1,2,1,3,1,2,-1,
1,1,2,-1]]],[[[2,1,1,1,2,-2,1,-1]]],[[[2,1]]],[[[1,1,2,1],[1,-1,2,1,3,2]]],[[[
2,1,1,1,2,1,1,-1,2,-1,1,1,2,-1]],[[2,-1,1,1,2,1]]],[[[1,-1],[3,1,2,2,1,1,2,-1,
1,1,2,-1,3,-1]],[[1,-1],[3,1,2,-1,1,-1,2,-1,3,1,2,2,1,1]]],[[[2,1,1,-1]]],[[[
1,-1],[3,1,2,1,1,1,2,1,1,1,2,-2,3,-1]],[[1,1,2,2,1,-1,2,1]]],[[[2,2,1,1,2,1,1,
-1,2,-1]],[[1,1,2,-2,1,-1,2,2]]],[[[1,-1],[3,1,2,-2,1,-1,2,1,1,-1,2,1,3,
-1]],[[2,1,1,1,2,1,1,-1,2,-1]]],[[[1,-1],[3,1,2,1,1,-1,2,2,1,1,2,-1,3,1]],[[2,
2,1,-1,2,1,1,1,2,-1]]],[[[1,1,2,-2,1,-1,2,2]],[[1,1,2,-1,1,-1,2,1]]],[[[2,1,1,
1],[2,1,3,1,2,1,3,-1,1,1]],[[1,-1,2,-2,1,-1,2,2]]],[[[2,1,1,1,2,-2,1,-1,2,-1,
1,1]],[[1,1,2,2,1,-1,2,1,1,1,2,-1]]],[[[1,1,2,2,1,-1,2,-2]],[[2,2,1,-1,2,1,1,
1]]],[[[1,1,2,1,1,-1,2,1]],[[2,1,1,1,2,1,1,-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,1,1,2,-1]]],[[[1,1,2,2,1,-1,2,1,1,1,2,-1]],[[
2,-2,1,1,2,2]],[[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,1,1,2,-1,1,-1]]],[[[1,-1],[3,1,2,1,1,-1,2,2,1,1,2,1,3,
1]],[[2,2,1,1,2,1,1,-1,2,-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]],[[1,-1,2,-2,1,-1,2,
2]],[[2,1,1,1,2,1,1,-1,2,-1,1,1,2,-1]]],[[[1,-1],[3,1,2,-1,1,-1,2,-1,3,1,2,2,
1,1]],[[1,1,2,1,1,-1,2,1]],[[2,1,1,1,2,1,1,-1]]],[[[1,-1],[3,1,2,-1,1,1,2,-1,
3,1,2,2,1,1]],[[2,2,1,1,2,-1,1,-1]]],[[[1,-1],[3,1,2,1,1,1,2,1,3,1,2,-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,
?? 快捷鍵說(shuō)明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -