?? tmjankmx.tom
字號:
#############################################################################
##
#W tmjankmx.tom GAP table of marks library Thomas Merkwitz
##
#H @(#)$Id: tmjankmx.tom,v 4.5 2001/07/05 07:01:20 gap Exp $
##
#Y Copyright (C) 1997, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany
##
## This file contains the tables of marks of maximal subgroups of the Janko
## groups.
##
#H tomlib history
#H --------------
#H $Log: tmjankmx.tom,v $
#H Revision 4.5 2001/07/05 07:01:20 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/tmjankmx.tom,v
#H Working file: tmjankmx.tom
#H head: 4.4
#H branch:
#H locks: strict
#H access list:
#H symbolic names:
#H GAP4R2: 4.4.0.6
#H GAP4R2PRE2: 4.4.0.4
#H GAP4R2PRE1: 4.4.0.2
#H GAP4R1: 4.2.0.6
#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: 5; selected revisions: 5
#H description:
#H ----------------------------
#H revision 4.4
#H date: 1999/10/26 07:24:53; author: gap; state: Exp; lines: +9 -9
#H renamed tables of marks: 2^(2+4):(3xS3).2 -> 2^(2+4):(S3xS3),
#H M10.2^2 -> 2xA6.2^2
#H
#H TB
#H ----------------------------
#H revision 4.3
#H date: 1999/10/06 09:13:06; author: gap; state: Exp; lines: +3 -3
#H corrected name of J3M7 (was wrong due to an old ATLAS error)
#H
#H TB
#H ----------------------------
#H revision 4.2
#H date: 1997/12/05 14:56:45; author: gap; state: Exp; lines: +5 -5
#H added new table of marks "3`D4(2)"
#H ----------------------------
#H revision 4.1
#H date: 1997/11/20 11:43:40; 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:01:03; author: gap; state: Exp;
#H added new table of marks library file
#H ==========================================================================
#H
Revision.tmjankmx_tom :=
"@(#)$Id: tmjankmx.tom,v 4.5 2001/07/05 07:01:20 gap Exp $";
SetActualLibFileName("tmjankmx");
LIBTOM( "2^3:7:3",
[[1],[1,2],[1,3],[1,2,4],[1,2,3,5],[1,6],[1,2,4,7],[1,2,3,4,8],[1,3,6,9],[1,2,
3,4,5,7,8,10],[1,2,4,6,7,11],[1,2,3,4,5,6,7,8,9,10,11,12]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1,1,1],[1,1],[1,7,7,1],[1,3,4,1,1],[1,7,1,1],[1,
7,4,7,4,1,1,1],[1,7,7,8,1,1],[1,7,28,7,28,8,1,7,8,7,1,1]],
[1,2,3,4,6,7,8,12,21,24,56,168],
[12,10,5,10,5,9,12,10,9,10,12,12],
[1,1,1,1,1,1,1,4,6,4,7,11],
[( 1, 85,155,117,107, 66,166)( 2,111,120,216, 92, 91,201)( 3, 28,162,233,
250, 65,103)( 4, 96,132,262,187,252, 40)( 5, 47,167, 57, 99,185, 54)
( 6,118,161,165, 9, 16, 36)( 7, 79,138,203,176, 46, 56)( 8, 50,102,110,
184,263, 49)( 10, 34, 67,137,214, 75,124)( 11, 31,153,192,136,172,108)
( 12,226,164,213,228,169, 80)( 13, 51,114,106,139,113,144)( 14,177,210, 86,
171,100,206)( 15,225, 52,205,264,200,158)( 17, 18, 60,104,148,266,134)
( 19, 45,196,119,101,116, 35)( 20, 42,173,143, 94,195,183)( 21, 78, 24, 88,
194, 62,217)( 22,146,168,254,175,123,193)( 23,145,245, 38,232, 64,265)
( 25,204,191,126,142, 53,208)( 26,236,198,220,251, 70, 81)( 27,230,122, 87,
215,243,135)( 29,125, 93, 97,219, 63, 90)( 30,112,246,186,152,231,151)
( 32, 71, 41,157,237,256, 44)( 33,244,229,249,149,189, 95)( 37,147,141, 73,
242,253,128)( 39, 58,207, 83,235,160,239)( 43,140,261,227,170,133,130)
( 48,179,174,199,234, 76,211)( 55,154,197,222,258,115,129)( 59,121,163, 61,
188,182, 74)( 68, 72,202,190,223, 89,109)( 69, 84,156,259, 77,224,105)
( 82,255,181,159,131,260,247)( 98,209,178,150,218,212,221)(127,180,238,240,
257,241,248),( 1,126,140)( 2,120,148)( 3,179,209)( 4,129, 70)
( 5,109,246)( 6, 89, 65)( 7,201,134)( 8,207,131)( 9,165,211)( 10,149, 25)
( 11,136,104)( 12,208, 32)( 13,114,265)( 14, 67, 29)( 15,116, 97)( 16,150, 54)
( 17,153, 60)( 18, 79,138)( 19,215, 20)( 21, 35,213)( 22, 93,263)( 24,175,224)
( 26,164, 86)( 27,184, 44)( 28, 57,185)( 30,218, 76)( 33,183,157)( 34, 80,143)
( 36,167,186)( 37,202, 48)( 38, 64,106)( 39,105, 94)( 40,248,130)( 41, 63,240)
( 42,163, 96)( 43,228,158)( 45, 95, 50)( 46,176,172)( 47,253,234)( 49,220,166)
( 51,245,145)( 52,235,132)( 53,119,187)( 55,133,189)( 56,108,216)( 58,169,241)
( 59,226,110)( 61, 87,191)( 62, 83, 66)( 68,178, 72)( 69,222,101)( 71,262,194)
( 73,233,190)( 74,117,171)( 75,243,217)( 77,102,170)( 78, 81, 82)( 84,142,198)
( 85,200,237)( 88,227, 90)( 91,111,192)( 92,203,266)( 98,141, 99)(100,168,252)
(103,152,199)(107,154,124)(112,242,128)(113,232,144)(115,256,255)(118,231,223)
(121,259,205)(122,177,261)(123,247,204)(125,173,251)(127,146,135)(137,181,264)
(147,161,162)(151,250,221)(155,195,254)(156,180,214)(159,206,196)(160,229,210)
(182,219,197)(188,260,257)(193,249,225)(230,258,239)(236,244,238)],
[[[[]]],[[[1,2,2,1,1,-1,2,-1]]],[[[2,1]]],[[[1,1,2,1],[2,1,3,1,1,2,3,1]],[[1,
3,2,-1,1,1,2,1]]],[[[1,1,2,-1]]],[[[1,-1]]],[[[1,1,2,1,1,3,2,-1]],[[1,2,2,1,1,
-1,2,-1]],[[1,3,2,-1,1,1,2,1]]],[[[2,1,1,1,2,-1,1,1,2,1]],[[2,1,1,-2]]],[[[2,
1,1,1,2,-1]],[[1,-1,2,1,1,1]]],[[[1,2,2,-1]],[[1,1,2,1,1,1]]],[[[2,1,1,-1,2,
-1]],[[1,1]]],[[[1,1]],[[2,1]]]]);
LIBTOM( "2xA5",
[[1],[1,2],[1,3],[1,4],[1,5],[1,3,6],[1,2,3,4,7],[1,3,4,8],[1,9],[1,2,5,10],[
1,3,5,11],[1,4,5,12],[1,2,3,4,6,7,8,13],[1,4,9,14],[1,2,9,15],[1,3,9,16],[1,3,
5,6,17],[1,2,3,4,5,7,10,11,12,18],[1,2,3,4,7,9,14,15,16,19],[1,2,3,4,5,6,7,8,
10,13,17,20],[1,3,5,6,9,11,16,17,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,3,1],[1,1,1,1,1],[1,1,2,1],[1,1],[1,1,1,1],[
1,3,1,1],[1,3,1,1],[1,1,3,3,1,3,3,1],[1,5,1,1],[1,1,1,1],[1,5,1,1],[1,3,4,1,
1],[1,1,3,3,1,3,1,1,1,1],[1,1,5,5,5,1,1,1,1,1],[1,1,3,3,4,1,3,3,4,1,1,1],[1,
15,10,5,6,10,6,5,1],[1,1,15,15,10,5,15,15,6,10,10,10,5,6,6,6,5,10,6,5,1,1]],
[1,2,2,2,3,4,4,4,5,6,6,6,8,10,10,10,12,12,20,24,60,120],
[22,22,13,13,18,20,13,13,19,18,18,18,20,19,19,19,20,18,19,20,22,22],
[1,1,1,1,1,1,1,1,1,1,5,5,1,9,1,9,6,5,9,6,21,21],
[( 1, 4)( 2, 5)( 3, 6)( 7, 9)( 8,10),( 1, 2,10, 7, 3)( 4, 5, 9, 6, 8)],
[[[[]]],[[[1,1,2,1],[2,2,3,1,2,1,3,1,2,1,1,1]]],[[[1,1,2,1],[2,1,3,3,2,1,1,
1]]],[[[2,1,1,1],[2,1,3,-1,1,1,2,1,3,1]]],[[[1,1,2,1],[3,1,2,1,3,1]]],[[[1,1,
2,-2,1,1,2,1]],[[2,1,1,1],[3,2,2,2]]],[[[1,1,2,-1,1,1,2,1,1,1]],[[1,1,2,1],[2,
1,3,3,2,1,1,1]]],[[[1,1,2,1],[2,1,1,1,3,-1,2,-1,3,-1]],[[2,1,1,1],[3,1,1,1,2,
1,3,-1,2,-1]]],[[[1,1,2,1,1,1]]],[[[2,1,1,1,2,2]]],[[[1,1,2,1],[3,1,2,1,3,
1]],[[1,1,2,1,1,1,2,-2]]],[[[1,1,2,1],[3,1,2,1,3,1]],[[1,1,2,-1,1,1,2,1,1,
1]]],[[[1,1,2,-1,1,1,2,1,1,1]],[[1,1,2,-2,1,1,2,1]],[[2,1,1,1],[3,2,2,2]]],[[[
1,1,2,1,1,1]],[[2,1,1,1,2,-1]]],[[[2,2],[3,1,2,1,1,1,3,-1]]],[[[1,1,2,1,1,
1]],[[1,1,2,1],[2,2,3,2]]],[[[1,1,2,1,1,1,2,-1]],[[1,1,2,-1,1,1,2,-2]]],[[[2,
1,1,1,2,2]],[[1,1,2,1,1,1,2,-2]]],[[[2,1,1,1,2,-1]],[[1,1,2,1],[2,2,3,2]]],[[[
2,-2,1,1]],[[2,1,1,1,2,1]]],[[[2,1]],[[1,1,2,-1,1,1]]],[[[1,1]],[[2,1]]]]);
LIBTOM( "19:6",
[[1],[1,2],[1,3],[1,2,3,4],[1,5],[1,2,5,6],[1,3,5,7],[1,2,3,4,5,6,7,8]],
0,[[1],[1,1],[1,1],[1,1,1,1],[1,1],[1,19,1,1],[1,19,1,1],[1,19,19,19,1,1,1,
1]],
[1,2,3,6,19,38,57,114],
[8,4,4,4,8,8,8,8],
[1,1,1,1,1,5,5,5],
[( 1, 2)( 3, 5)( 4, 7)( 6,10)( 8,12)( 9,13)(11,14)(16,18)(17,19),( 1, 6, 3)
( 2, 8, 4)( 5,12, 9)( 7,15,11)(10,17,14)(13,18,16)],
[[[[]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,-1,1,1,2,-1,3,2,4,-1]]],[[[1,1,2,1],[2,1,
3,1],[2,1,1,1,3,-1,4,-2]]],[[[1,1,2,1],[2,-1,3,2,2,1,1,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]]],[[[1,1]],[[2,
1]]]]);
LIBTOM( "11:10",
[[1],[1,2],[1,3],[1,2,3,4],[1,5],[1,2,5,6],[1,3,5,7],[1,2,3,4,5,6,7,8]],
0,[[1],[1,1],[1,1],[1,1,1,1],[1,1],[1,11,1,1],[1,11,1,1],[1,11,11,11,1,1,1,
1]],
[1,2,5,10,11,22,55,110],
[8,4,4,4,8,8,8,8],
[1,1,1,1,1,5,5,5],
[( 1, 4, 3, 6, 8)( 2, 5, 7, 9,10),( 1, 3)( 2,11)( 4, 5)( 6, 7)( 9,10)],
[[[[]]],[[[2,1]]],[[[1,2]]],[[[1,2,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]]],[[[1,1]],[[2,1]]]]);
LIBTOM( "D6xD10",
[[1],[1,2],[1,3],[1,4],[1,5],[1,2,3,4,6],[1,7],[1,2,5,8],[1,3,5,9],[1,4,5,
10],[1,3,7,11],[1,4,7,12],[1,2,7,13],[1,2,3,4,5,6,8,9,10,14],[1,5,7,15],[1,2,
3,4,6,7,11,12,13,16],[1,3,5,7,9,11,15,17],[1,4,5,7,10,12,15,18],[1,2,5,7,8,13,
15,19],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]],
0,[[1],[1,1],[1,1],[1,1],[1,1],[1,1,1,1,1],[1,1],[1,3,1,1],[1,1,1,1],[1,3,1,
1],[1,5,1,1],[1,5,1,1],[1,1,1,1],[1,3,1,3,1,3,1,1,1,1],[1,1,1,1],[1,1,5,5,5,1,
1,1,1,1],[1,5,1,1,5,1,1,1],[1,15,1,1,5,3,1,1],[1,3,1,1,1,3,1,1],[1,3,5,15,1,
15,1,1,5,5,1,3,3,5,1,3,1,1,1,1]],
[1,2,2,2,3,4,5,6,6,6,10,10,10,12,15,20,30,30,30,60],
[20,16,14,6,20,6,20,20,14,14,20,16,16,14,20,16,20,20,20,20],
[1,1,1,1,1,1,1,5,1,5,7,7,1,5,1,7,7,15,5,15],
[( 1, 2)( 3, 5)( 4, 6)( 7,10)( 8,11)( 9,13)(12,14),( 1,14,10, 9, 6, 3)
( 2, 7, 4)( 5,15,13,11,12, 8)],
[[[[]]],[[[1,1,2,1],[2,1,1,1,2,1,3,2,1,1,2,-1,3,1,2,1]]],[[[2,1,1,1],[3,1,2,1,
3,-1,1,1,2,1,1,1,2,-1]]],[[[1,1,2,1],[2,1,1,1,3,-2,2,-1]]],[[[2,2]]],[[[1,1,2,
-3,1,1]],[[1,1,2,1],[2,1,1,1,3,-2,2,-1]]],[[[1,1,2,1,1,1,2,1]]],[[[2,2]],[[1,
1,2,1],[2,1,3,1,1,1,2,-1,3,1,1,1,2,1,1,1]]],[[[1,1,2,1],[2,1,1,1,3,-2,2,-1,1,
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -