tmunitam.tom

GAP源码

#############################################################################
##
#W  tmunitam.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmunitam.tom,v 4.3 2003/12/16 17:29:45 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 groups
##  from file "tmunita.tom".
##
#H  tomlib history
#H  --------------
#H  $Log: tmunitam.tom,v $
#H  Revision 4.3  2003/12/16 17:29:45  gap
#H  further problems with derived subgroups and representatives
#H      TB
#H
#H  Revision 4.2  2001/07/05 07:21:11  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/tmunitam.tom,v
#H  Working file: tmunitam.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 12:39:19;  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:25:17;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmunitam_tom :=
    "@(#)$Id: tmunitam.tom,v 4.3 2003/12/16 17:29:45 gap Exp $";

SetActualLibFileName("tmunitam");
LIBTOM( "2^(2+4):(3xD10)",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,3,6],[1,2,7],[1,8],[1,3,4,9],[1,2,5,7,
10],[1,2,7,11],[1,2,3,6,7,12],[1,2,3,5,6,13],[1,2,3,6,7,14],[1,2,8,15],[1,3,8,
16],[1,3,8,17],[1,2,4,5,18],[1,4,8,19],[1,2,3,5,6,7,10,12,13,14,20],[1,2,5,7,
10,21],[1,2,5,7,10,11,22],[1,2,5,7,10,23],[1,2,5,7,10,24],[1,2,3,6,8,15,17,
25],[1,2,5,8,15,26],[1,2,3,6,8,15,16,17,27],[1,2,3,4,5,6,9,13,18,28],[1,3,4,8,
9,16,19,29],[1,2,5,7,10,21,23,24,30],[1,2,3,5,6,7,10,11,12,13,14,20,22,24,
31],[1,2,3,5,6,7,10,12,13,14,20,23,32],[1,2,5,7,10,11,22,23,33],[1,2,3,5,6,7,
10,11,12,13,14,20,21,22,34],[1,2,3,5,6,8,13,15,16,17,25,26,27,35],[1,2,4,5,7,
10,18,23,36],[1,2,4,5,8,15,18,19,26,37],[1,2,5,7,10,21,23,24,30,38],[1,2,3,5,
6,7,10,11,12,13,14,20,21,22,23,24,30,31,32,33,34,39],[1,2,5,7,10,11,21,22,23,
24,30,33,40],[1,2,3,4,5,6,7,9,10,12,13,14,18,20,23,28,32,36,41],[1,2,3,4,5,6,
8,9,13,15,16,17,18,19,25,26,27,28,29,35,37,42],[1,2,3,5,6,7,10,11,12,13,14,20,
21,22,23,24,30,31,32,33,34,38,39,40,43],[1,2,4,5,7,10,18,21,23,24,30,36,38,
44],[1,2,5,7,8,10,15,21,23,24,26,30,38,45],[1,2,3,4,5,6,7,9,10,11,12,13,14,18,
20,21,22,23,24,28,30,31,32,33,34,36,38,39,40,41,43,44,46],[1,2,3,5,6,7,8,10,
11,12,13,14,15,16,17,20,21,22,23,24,25,26,27,30,31,32,33,34,35,38,39,40,43,45,
47],[1,2,4,5,7,8,10,15,18,19,21,23,24,26,30,36,37,38,44,45,48],[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]],
0,[[1],[1,1],[1,1],[1,1],[1,3,1],[1,1,2,1],[1,1,1],[1,1],[1,1,1,1],[1,3,1,2,
1],[1,1,1,1],[1,1,4,2,1,1],[1,3,4,1,6,1],[1,1,4,2,1,1],[1,1,1,1],[1,5,1,1],[1,
5,1,1],[1,3,4,1,1],[1,1,1,1],[1,3,8,1,12,2,1,2,2,2,1],[1,3,1,6,3,1],[1,3,1,2,
1,2,1],[1,3,1,6,3,1],[1,3,1,6,3,1],[1,1,10,5,1,1,2,1],[1,3,1,1,3,1],[1,1,10,5,
1,1,1,1,1],[1,3,4,4,1,6,4,1,1,1],[1,5,1,1,5,1,1,1],[1,3,1,14,7,3,1,3,1],[1,3,
8,1,12,6,3,2,2,2,2,1,1,1,1],[1,3,16,1,24,6,3,12,4,12,6,1,1],[1,3,1,6,3,4,2,1,
1],[1,3,8,1,12,6,3,2,2,2,2,1,1,1,1],[1,3,20,1,30,1,5,3,1,3,3,1,3,1],[1,3,16,1,
6,3,4,1,1],[1,3,4,1,1,3,1,4,1,1],[1,3,1,30,15,15,5,15,15,1],[1,3,16,1,24,14,7,
4,12,4,12,6,3,2,1,3,1,2,1,1,2,1],[1,3,1,14,7,8,3,4,1,3,1,2,1],[1,3,16,16,1,24,
6,16,3,12,4,12,4,6,1,4,1,1,1],[1,3,20,4,1,30,1,20,5,3,1,3,1,4,3,1,3,5,4,1,1,
1],[1,3,16,1,24,30,15,12,12,4,12,6,15,6,5,15,15,6,1,3,6,1,3,3,1],[1,3,64,1,30,
15,16,15,5,15,15,20,1,1],[1,3,1,30,16,15,48,15,5,15,16,15,1,1],[1,3,16,64,1,
24,30,64,15,12,12,4,12,16,6,15,6,5,15,16,15,6,1,3,6,20,1,3,3,4,1,1,1],[1,3,80,
1,120,30,16,15,60,60,20,60,48,16,48,30,15,30,5,15,48,16,48,15,30,5,15,30,16,1,
15,15,5,1,1],[1,3,64,1,30,16,15,48,16,64,15,5,15,16,15,20,16,1,1,1,1],[1,3,80,
64,1,120,30,16,320,15,60,60,20,60,48,16,48,16,64,30,15,30,5,15,48,16,48,80,64,
15,30,5,15,30,16,20,16,1,15,15,20,16,5,1,1,5,1,1,1]],
[1,2,2,3,4,4,4,5,6,8,8,8,8,8,10,10,10,12,15,16,16,16,16,16,20,20,20,24,30,32,
32,32,32,32,40,48,60,64,64,64,96,120,128,192,320,384,640,960,1920],
[49,47,28,29,49,20,39,42,9,43,33,31,41,34,35,42,35,42,29,39,43,39,46,43,35,42,
35,28,29,43,39,46,43,39,42,41,42,49,43,43,41,42,46,49,49,46,49,49,49],
[1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,8,8,5,1,2,2,1,1,2,8,1,8,5,8,5,7,5,2,7,8,23,5,5,
10,10,23,26,23,38,38,38,45,38,45],
[( 2, 4,46,36,53,38)( 3,65,44,48,15,49)( 5,27,19,12,51,21)( 6,25,30,33,52,28)
( 8,39,11,60,29,34)( 9,32,63,14,54,26)(10,64,23,45,56,40)(13,57,50,24,31,59)
(16,62,42,43,18,22)(17,35,37)(20,41,47,58,55,61),( 2,37,58,56, 3,40, 7,11,12,
 48)( 4,27,47,13,44,21,54,42,15,57)( 5,25, 6,26,61,64,41,16,45,22)
( 8,20,53,29,46,62,34,19,28,14)( 9,59,51,17,33,38,50,32,35,43)(10,23,30,24,31,
 63,36,39,65,49)(18,60)(52,55)],
[[[[]]],[[[2,-5]]],[[[1,-3]]],[[[1,2]]],[[[1,1,2,-5,1,-1]],[[2,-5]]],[[[2,2,1,
-2,2,-2,1,-1]],[[1,2],[3,-1,2,1,1,-1,2,1]]],[[[2,1,1,1,2,1,1,-1]]],[[[2,
4]]],[[[1,-1]]],[[[1,2],[1,1,2,2],[3,1,4,1,3,-1,4,-1]],[[1,1,2,1],[3,1,1,-2,3,
1]]],[[[1,-3,2,1]]],[[[1,2],[3,-1,2,1,1,-1,2,1]],[[1,-3]]],[[[1,2],[3,1,2,-1,
1,-1,3,-1,2,1,3,-1]],[[2,1,1,1,2,3,1,2]],[[1,2],[3,-1,2,2,1,-1,2,-1]]],[[[2,2,
1,-2,2,-2,1,-1]],[[1,-3]]],[[[2,1]]],[[[1,2],[3,1,2,-1,1,-1,2,-1,3,1,2,1]],[[
1,2],[1,1,2,1,3,-1,2,1,3,-1]]],[[[2,2,1,-1,2,-1,1,-2]],[[1,-3]]],[[[1,2,2,1,1,
-1,2,1,1,1]],[[1,1,2,-1,1,1,2,-1]]],[[[1,2,2,2]]],[[[2,2,1,-2,2,-2,1,-1]],[[1,
-3]],[[1,1,2,1],[3,1,1,-2,3,1]]],[[[1,1,2,1],[3,1,1,-2,3,1]],[[1,2],[3,-1,2,
-1,3,1,2,1]]],[[[2,1,1,-3,2,1]],[[1,1,2,1,1,2,2,-1]]],[[[1,2],[3,1,2,-1,3,-1,
2,1]],[[2,1,1,1,2,1,1,-1]]],[[[1,1,2,1],[3,1,1,-2,3,1]],[[2,1,1,1,2,1,1,
-1]]],[[[1,1,2,1,1,2,2,2]],[[1,-3]]],[[[1,2],[3,1,2,-1,3,-1,2,2]],[[1,1,2,1,1,
-2,2,1,1,1]]],[[[1,2],[1,1,2,1,3,-1,2,1,3,-1]],[[2,1,1,-1,2,1,1,2,2,1,1,
-1]]],[[[1,1,2,-1,1,1,2,-1]],[[1,-3]]],[[[2,2,1,-2,2,1,1,1]],[[2,1,1,2]]],[[[
1,2],[3,1,2,-1,3,-1,2,1]],[[2,1,1,-1,2,1,1,1]],[[2,1,1,1,2,1,1,-1]]],[[[2,1,1,
2,2,-1,1,-2]],[[1,-3]]],[[[1,1,2,1],[3,1,1,-2,3,1]],[[2,1,1,-1,2,1,1,1]],[[1,
-3]]],[[[1,1,2,-1],[1,2,3,-2]],[[2,1,1,1,2,1,1,2]],[[1,-1,2,-1,1,1,2,-1]]],[[[
1,1,2,-2,1,-1,2,-2]],[[1,-3]]],[[[1,1,2,1,1,-2,2,1,1,1]],[[1,-3]],[[1,1,2,1,1,
2,2,2]]],[[[1,1,2,-1,1,1,2,-1]],[[2,1,1,2,2,-1]]],[[[1,1,2,-1,1,1,2,-1]],[[2,
1,1,2]]],[[[2,1,1,-1,2,2,1,1,2,1]],[[1,1,2,-1,1,-1,2,-1]],[[1,1,2,1],[3,1,1,
-2,3,1]],[[2,1,1,-1,2,1,1,1]]],[[[1,2],[3,-1,2,1,1,-1,2,1]],[[2,1,1,1,2,1,1,
-1]],[[1,-3]]],[[[1,2,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]]],[[[1,-3]],[[1,1,2,-1]]],[[[2,1,1,-2,2,-1,1,
-1]],[[2,1,1,1,2,1,1,-1]],[[1,-3]]],[[[2,1,1,1,2,1,1,1]],[[1,-2]],[[2,1,1,-1,
2,1,1,-1]]],[[[1,1,2,-1,1,-1]],[[2,-1]]],[[[2,1,1,1,2,1]],[[1,-1]]],[[[1,
-3]],[[2,1]]],[[[1,2]],[[2,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "13: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,13,1,1],[1,13,1,1],[1,13,13,13,1,1,1,
1]],
[1,2,3,6,13,26,39,78],
[8,4,4,4,8,8,8,8],
[1,1,1,1,1,5,5,5],
[( 1,39)( 2,62)( 3,40)( 4,51)( 5,23)( 6,58)( 8,11)( 9,34)(12,31)(13,19)(14,63)
(15,27)(16,21)(17,32)(18,20)(22,45)(24,46)(26,60)(28,44)(29,35)(30,47)(33,36)
(37,54)(38,43)(41,53)(48,57)(49,64)(50,52)(55,65)(56,61),( 1,16, 6)
( 2,40,38, 8,62, 9)( 3,11,19,13,43,42)( 4,44,59,29,17,24)( 5,27,22,46,60,10)
( 7,56,49,31,12,37)(14,61,54,64,63,18)(15,53,58,48,47,33)(21,65,35,28,50,57)
(23,26,32,55,39,41)(25,30,52,51,45,36)],
[[[[]]],[[[1,1]]],[[[1,1,2,1]]],[[[2,1]]],[[[2,2,1,1,2,-2,1,1]]],[[[2,1,1,1,2,
-1]],[[1,1]]],[[[2,2]],[[1,1,2,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "5^(1+2)+:24",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,6],[1,2,3,7],[1,2,4,8],[1,2,5,9],[1,2,6,
10],[1,2,3,4,7,11],[1,3,5,12],[1,2,4,6,10,13],[1,2,4,5,9,14],[1,2,3,4,7,8,11,
15],[1,5,6,16],[1,2,3,5,7,9,12,17],[1,2,4,5,8,9,14,18],[1,2,5,6,9,10,16,19],[
1,2,3,4,5,7,9,11,12,14,17,20],[1,2,4,5,6,9,10,13,14,16,19,21],[1,2,3,4,5,7,8,
9,11,12,14,15,17,18,20,22],[1,5,6,16,23],[1,2,5,6,9,10,16,19,23,24],[1,3,5,6,
12,16,23,25],[1,2,4,5,6,9,10,13,14,16,19,21,23,24,26],[1,2,3,5,6,7,9,10,12,16,
17,19,23,24,25,27],[1,2,4,5,6,8,9,10,13,14,16,18,19,21,23,24,26,28],[1,2,3,4,
5,6,7,9,10,11,12,13,14,16,17,19,20,21,23,24,25,26,27,29],[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]],
0,[[1],[1,1],[1,1],[1,1,1],[1,1],[1,1],[1,1,1,1],[1,1,1,1],[1,1,1,1],[1,5,1,
1],[1,1,1,1,1,1],[1,1,1,1],[1,5,5,1,1,1],[1,1,5,1,1,1],[1,1,1,1,1,1,1,1],[1,1,
5,1],[1,1,1,1,1,1,1,1],[1,1,5,1,5,1,1,1],[1,5,1,5,5,1,1,1],[1,1,1,5,1,1,1,5,1,
1,1,1],[1,5,25,1,5,5,1,5,5,1,1,1],[1,1,1,5,1,1,5,1,5,1,1,5,1,1,1,1],[1,1,30,6,
1],[1,25,1,30,25,30,6,30,1,1],[1,25,1,30,25,6,1,1],[1,25,125,1,30,25,30,150,
25,6,30,30,1,1,1],[1,25,25,1,30,25,25,30,25,6,25,30,1,1,1,1],[1,25,125,1,30,
125,25,30,150,25,6,25,30,30,1,1,1,1],[1,25,25,125,1,30,25,25,30,125,25,150,25,
6,25,30,25,30,1,1,1,1,1,1],[1,25,25,125,1,30,25,125,25,30,125,25,150,25,125,6,
25,25,30,25,30,25,1,1,1,1,1,1,1,1]],
[1,2,3,4,5,5,6,8,10,10,12,15,20,20,24,25,30,40,50,60,100,120,125,250,375,500,
750,1000,1500,3000],
[30,22,22,15,30,21,22,15,22,21,15,22,13,22,15,26,22,22,21,22,21,22,30,30,30,
30,30,30,30,30],
[1,1,1,1,1,1,1,1,1,6,1,1,6,5,1,1,1,5,6,5,16,5,5,23,23,23,23,23,23,23],
[(  1, 13, 16,  3)(  2, 15, 12, 10)(  4,  8,  9, 18)(  5,  7, 11, 19)
(  6, 17, 20, 14)( 21, 74, 49, 33)( 22, 68, 53, 34)( 23, 63, 54, 35)
( 24, 81, 55, 36)( 25, 61, 56, 37)( 26, 38)( 27, 57, 41, 30)( 28, 62, 51, 39)
( 29, 70, 45, 40)( 31, 82, 58, 42)( 32, 83, 59, 43)( 44, 71, 46, 69)
( 47, 73, 48, 72)( 50, 76, 52, 75)( 60,117,103, 86)( 64,120,106, 88)
( 65, 92, 97, 89)( 66, 91, 67, 90)( 77, 80,109, 98)( 78, 84,108, 99)
( 79,121,107,100)( 85,112, 95,102)( 87,124,118,104)( 93,111, 94,110)( 96,113)
(101,123,119,105)(114,125,122,116),(  1, 13, 37, 52, 32, 19, 25,  6,121,117,