?? tmjank.tom

?? GAP源碼
?? TOM
?? 第 1 頁 / 共 5 頁
字號:
12 3 4 5 下一頁
#############################################################################
##
#W  tmjank.tom           GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmjank.tom,v 4.4 2001/07/05 07:01:14 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of the Janko groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmjank.tom,v $
#H  Revision 4.4  2001/07/05 07:01:14  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/tmjank.tom,v
#H  Working file: tmjank.tom
#H  head: 4.3
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  	GAP4R2: 4.3.0.10
#H  	GAP4R2PRE2: 4.3.0.8
#H  	GAP4R2PRE1: 4.3.0.2
#H  	GAP4R1: 4.3.0.6
#H  	GAP4B5: 4.3.0.4
#H  	dec16-98b: 4.3
#H  	GAP4b4: 4.3
#H  	version-14-apr: 4.3
#H  	version-15-jun: 4.3
#H  keyword substitution: kv
#H  total revisions: 4;	selected revisions: 4
#H  description:
#H  ----------------------------
#H  revision 4.3
#H  date: 1998/03/27 13:21:05;  author: gap;  state: Exp;  lines: +3 -3
#H  added a few names and fusions
#H  T.Merkwitz
#H  ----------------------------
#H  revision 4.2
#H  date: 1997/11/24 11:16:08;  author: gap;  state: Exp;  lines: +11 -2
#H  added table of marks of "G2(4)" to the library
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 11:43: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:00:37;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tmjank_tom :=
    "@(#)$Id: tmjank.tom,v 4.4 2001/07/05 07:01:14 gap Exp $";

SetActualLibFileName("tmjank");
LIBTOM( "J1",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,2,3,6],[1,2,3,7],[1,2,3,8],[1,9],[1,2,4,
10],[1,2,5,11],[1,2,5,12],[1,2,5,13],[1,14],[1,2,3,4,15],[1,2,3,4,6,7,8,16],[
1,2,9,17],[1,3,5,18],[1,19],[1,2,4,5,11,12,13,20],[1,3,9,21],[1,2,14,22],[1,2,
3,4,8,10,15,23],[1,2,3,5,8,11,18,24],[1,2,3,5,7,12,18,25],[1,2,3,5,6,13,18,
26],[1,2,19,27],[1,2,3,8,9,17,21,28],[1,5,14,29],[1,2,4,9,10,30],[1,3,19,31],[
1,2,3,4,5,6,12,15,32],[1,2,3,4,5,7,12,15,33],[1,2,3,4,5,6,7,8,11,12,13,16,18,
20,24,25,26,34],[1,2,5,13,14,22,29,35],[1,2,3,8,19,27,31,36],[1,2,3,4,5,6,7,8,
10,11,12,13,15,16,20,23,32,37],[1,2,3,4,8,9,10,15,21,23,30,38],[1,2,3,4,5,6,7,
8,12,14,15,16,29,32,33,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,3,1],[1,1],[1,3,1,1],[1,3,1,1],[1,1,1,1],[1,1],[1,7,7,
1],[1,5,1,1],[1,5,1,1],[1,1,1,1],[1,1],[1,3,4,1,1],[1,7,1,3,1,1,1,1],[1,7,1,
1],[1,1,1,1],[1,1],[1,11,5,1,1,1,1,1],[1,7,1,1],[1,11,1,1],[1,7,4,7,4,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,19,1,1],[1,7,7,7,1,1,
1,1],[1,11,1,1],[1,7,7,8,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,23,1,15,1,1,5,5,1,3,3,5,1,3,1,1,1,1],[1,11,11,11,1,1,1,1],[1,19,
19,19,1,1,1,1],[1,31,10,35,6,10,10,10,5,6,6,6,5,10,6,5,1,1],[1,7,28,7,28,8,1,
7,8,7,1,1],[1,55,55,55,66,55,55,55,66,12,55,55,12,11,11,1],[1,1463,2926,7315,
2926,2926,14630,14630,4180,1045,2926,8778,8778,1596,7315,14630,4180,2926,1540,
8778,4180,1596,7315,2926,2926,2926,1540,4180,1596,1045,1540,1463,2926,2926,
1596,1540,1463,1045,266,1]],
[1,2,3,4,5,6,6,6,7,8,10,10,10,11,12,12,14,15,19,20,21,22,24,30,30,30,38,42,55,
56,57,60,60,60,110,114,120,168,660,175560],
[40,37,34,23,34,34,16,16,28,38,34,20,20,35,23,16,28,34,36,20,28,35,23,34,34,
34,36,28,35,38,36,37,33,34,35,36,37,38,39,40],
[1,1,1,1,1,3,3,1,1,1,5,5,1,1,4,3,9,1,1,5,9,14,4,5,18,3,19,9,14,10,19,32,33,18,
14,19,32,30,39,40],
[(  1,262)(  2,107)(  3, 21)(  4,213)(  5,191)(  6, 22)(  7,133)(  8,234)
(  9,232)( 10,151)( 11,139)( 12,176)( 13,202)( 14,253)( 15,222)( 17,195)
( 18,206)( 19, 68)( 20, 55)( 23,179)( 24,217)( 25,216)( 26,256)( 27, 87)
( 28, 70)( 29,131)( 30, 44)( 31,105)( 32,170)( 33, 77)( 34,104)( 35,198)
( 36,137)( 37,243)( 38, 56)( 39,124)( 40,223)( 41,134)( 43,174)( 46, 51)
( 47,128)( 48, 94)( 49,250)( 50,264)( 52,183)( 53,231)( 54,115)( 57, 85)
( 58,233)( 59,261)( 60, 95)( 61,235)( 62,177)( 63,249)( 64, 91)( 65,247)
( 66,155)( 69,219)( 71,237)( 72,211)( 73, 84)( 74,192)( 75,130)( 76,251)
( 79,260)( 80,112)( 81,193)( 82,156)( 83,242)( 86,238)( 88,143)( 89,168)
( 90,148)( 92,119)( 93,212)( 96,150)( 97,199)( 98,140)( 99,189)(100,180)
(101,147)(102,111)(103,159)(106,162)(108,194)(109,166)(110,200)(113,120)
(114,141)(116,182)(117,181)(118,225)(121,254)(122,125)(123,146)(126,208)
(127,221)(129,210)(132,255)(136,175)(138,207)(142,240)(144,172)(145,185)
(149,224)(152,169)(153,241)(154,190)(157,214)(158,161)(160,236)(163,239)
(164,229)(165,230)(167,188)(171,258)(173,186)(178,245)(184,205)(187,228)
(197,203)(201,252)(209,248)(215,259)(218,246)(220,227)(257,263)(265,266),
(  1,146, 21)(  2,132, 82)(  4,156,166)(  5,242,253)(  6,107, 28)(  7,125, 76)
(  8,245,130)(  9,174, 42)( 10,241,244)( 11,264, 63)( 12,248,234)( 13, 36, 44)
( 14,116,128)( 15, 47, 25)( 16,178,112)( 17,170,110)( 18,197, 74)( 19,233,180)
( 20,121, 96)( 22,228,155)( 23, 48,173)( 24,201,187)( 26,136,190)( 27,212, 94)
( 29,175, 52)( 30, 77, 32)( 31,237, 34)( 33,226, 90)( 35,129, 54)( 37,161,114)
( 38,232, 87)( 39,219,192)( 40, 78,159)( 41,139, 71)( 43,211,251)( 45,222,240)
( 46, 97,135)( 49, 70,131)( 50,153,200)( 51,186,209)( 53,203,216)( 55,169, 64)
( 56,140,230)( 57,260,118)( 58, 91,243)( 59,199,227)( 60,108,164)( 61,208,101)
( 62,206,106)( 65,103, 66)( 67, 95,205)( 68, 73,225)( 69,151,113)( 72,221,152)
( 75,143,202)( 79,217,254)( 80, 93,122)( 81,181,252)( 83,258,126)( 84,163,177)
( 85,154,213)( 86,182,196)( 88,133,215)( 89,117,247)( 92,191,160)( 99,229,263)
(100,138,188)(102,194,157)(105,149,184)(109,123,193)(111,137,183)(115,238,235)
(119,167,147)(120,134,189)(124,185,265)(127,218,261)(141,231,210)(142,239,236)
(144,224,249)(145,158,220)(148,214,172)(150,250,259)(162,257,256)(165,179,246)
(176,195,266)(198,204,207)(223,262,255)],
[[[[]]],[[[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],[3,1,1,
1,2,-1,1,1,2,1,1,1,3,-1]]],[[[1,1,2,-1,1,1,2,1,1,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,1,-1,2,-1,3,1]]],[[[2,1,1,1,2,-1,1,-1,2,-1,1,-1,
2,-2,1,-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],[3,1,4,-1,
3,1,4,1,3,-1,4,1]],[[2,1,1,1,2,-1,1,-1,2,-1,1,-1,2,-2,1,-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],[3,1,4,-1,3,-1,4,1,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,1,1],[2,-1,1,-1,2,-1,1,1,
2,1,1,-1,2,-2,3,3]]],[[[2,1,1,1,2,-1,1,-1,2,-1,1,-1,2,-2,1,-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],[3,1,4,1],[5,2,3,-1,4,1,5,1]],[[2,1,
1,1,2,-1,1,-1,2,-1,1,-1,2,-2,1,-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],[3,-1],[3,1,4,1,5,1,4,-1,3,1,4,-1,5,-1]]],[[[2,1,1,1,2,-1,1,-1,2,
-1,1,-1,2,-2,1,-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],[3,
1,4,1],[5,2,3,-1,4,1,5,1]],[[2,1,1,1,2,-1,1,-1,2,-1,1,-1,2,-2,1,-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],[3,-1],[5,1,4,-1,3,1,4,-1,5,1,4,
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,1,1,2,1,1,-1,2,
-1],[3,1,4,1],[4,-1,5,2,4,1,3,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,1,-1,2,-1,1,1,2,1,1,-1,2,-1],[4,1,3,1,4,-1,3,1]]],[[[1,1,2,
1],[2,1,1,1],[1,1,2,-1],[2,1,3,1],[3,2,4,1],[7,1,5,-1,2,1,6,2,7,1,5,-1,2,1,4,
1]],[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[2,1,3,1],[6,1,5,1,3,2,4,1,2,1,4,1,6,1,5,
1,3,1,4,-2]],[[1,1,2,1],[2,1,1,1],[1,1,2,-1],[2,1,3,1],[3,2],[2,1,4,1,6,1,5,
-1,4,1,7,-1,6,1,5,1,7,1,4,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,2,3,-1]],[[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,1,-1,2,-1,1,-1,
2,-2,1,-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],[4,1,3,-1,
4,1,3,-1,4,1,3,1,4,-1]],[[2,1,1,1,2,-1,1,-1,2,-1,1,-1,2,-2,1,-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],[4,1,3,1,4,-1,3,-1,4,1,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,1,1],[2,-1,1,
-1,2,-1,1,1,2,1,1,-1,2,-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,1,1,2,1,1,1],[2,-1,1,-1,2,-1,1,1,2,1,1,-1,2,-2],[3,1,4,1,3,-1,4,1]]],[[[
2,1,1,1,2,-1,1,-1,2,-1,1,-1,2,-2,1,-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],[3,-1,4,-1,3,1,4,-1,3,1,4,1]],[[2,1,1,1,2,-1,1,-1,2,-1,1,-1,
2,-2,1,-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],[3,-1,4,1,
3,-1,4,1,3,1,4,-1]]],[[[2,1,1,1,2,-1,1,-1,2,-1,1,-1,2,-2,1,-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],[3,1,4,1],[4,-1,3,1,5,-1,4,1,5,1]],[[
2,1,1,1,2,-1,1,-1,2,-1,1,-1,2,-2,1,-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],[4,1,3,-1,4,1,3,-1,4,-1,3,1,4,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,1,-1,2,-1,1,1,2,1,1,-1,2,-1],[3,1,1,1,2,
-1,1,1,2,1,1,1,3,-1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,-1,1,1,2,-1,3,1,1,1,4,
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,1,1,2,1,1,-1,2,
-1],[3,1,4,1,3,1,4,-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],[3,2,4,2,3,-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]],[[1,1,2,-1,1,1,2,1,1,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,1,-1,2,-1,3,1]]],[[[2,-1,1,-1,2,-1,1,1,2,1,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,1,1],[3,-1,2,-1,1,-1,2,-1,
1,1,2,1,1,-1,2,-2,3,1]]],[[[1,1,2,1],[2,-1,3,1,1,1,2,-1,1,1,2,-1,3,1]],[[1,1,
2,1],[2,1,1,1],[1,1,2,-1,3,1,1,1,4,1,2,1,4,1,3,-1,4,1]]],[[[1,1,2,1],[2,1,1,
1],[1,1,2,-1],[2,1,3,1],[3,1,4,-2,5,1,6,-1,3,2,4,-1,5,1,6,-1]],[[1,1,2,1],[2,
1,1,1],[1,1,2,-1],[2,1,3,1],[2,1,4,1,3,-1,4,1,5,-1,6,-2,5,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]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-1,4,2,3,-2,2,1,1,1,2,-1]],[[1,1,2,1],[2,1,
1,1],[1,1,2,-1],[2,1,3,1],[2,1,4,1],[7,1,4,1,3,-1,4,1,5,-1,6,-1,7,1,6,-1,4,-1,
3,-2,5,-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,1,1,2,
1,1,-1,2,-1],[3,-1,1,1,2,-1,1,1,2,1,1,1,3,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,1,-1,2,-1,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,1,1],[3,2]],[[2,-1,1,-1,2,-1,1,1,2,1,
1,-1,2,-2,1,-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]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,2,3,-1,4,1]],[[1,1,2,1],[2,1,3,1],[4,1,3,1,
4,1,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,
12 3 4 5 下一頁
?? 文件大小 51930 K
?? 上傳用戶 moxcki
?? 所屬分類數值算法/人工智能
??? 相關標簽

#GAP #源碼
?? 快捷鍵說明

復制代碼 Ctrl + C
搜索代碼 Ctrl + F
全屏模式 F11
切換主題 Ctrl + Shift + D
顯示快捷鍵 ?
增大字號 Ctrl + =
減小字號 Ctrl + -
亚洲欧美第一页_禁久久精品乱码_粉嫩av一区二区三区免费野_久草精品视频

?? tmjank.tom

?? 快捷鍵說明
