tmalt1mx.tom

GAP源码

#############################################################################
##
#W  tmalt1mx.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmalt1mx.tom,v 4.5 2001/07/05 06:56:51 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains tables of marks of maximal subgroups of alternating
##  groups
##
#H  tomlib history
#H  --------------
#H  $Log: tmalt1mx.tom,v $
#H  Revision 4.5  2001/07/05 06:56:51  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/tmalt1mx.tom,v
#H  Working file: tmalt1mx.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.3.0.2
#H  	dec16-98b: 4.3
#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/07/01 09:41:58;  author: gap;  state: Exp;  lines: +4 -5
#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: 1998/09/12 14:20:14;  author: gap;  state: Exp;  lines: +45 -2
#H  added some more fusions to the library of table of marks
#H  T. Merkwitz
#H  ----------------------------
#H  revision 4.2
#H  date: 1997/12/05 14:56:34;  author: gap;  state: Exp;  lines: +5 -2
#H  added new table of marks "3`D4(2)"
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 11:34:28;  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:49:31;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tmalt1mx_tom :=
    "@(#)$Id: tmalt1mx.tom,v 4.5 2001/07/05 06:56:51 gap Exp $";

SetActualLibFileName("tmalt1mx");
LIBTOM( "(A7x3):2",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,3,10],[1,3,11],[1,3,
12],[1,3,13],[1,2,3,14],[1,2,3,4,15],[1,3,4,16],[1,17],[1,2,5,18],[1,3,6,19],[
1,3,5,20],[1,4,5,21],[1,2,6,22],[1,3,6,23],[1,2,7,24],[1,3,7,25],[1,4,6,26],[
1,4,8,27],[1,3,8,28],[1,2,6,29],[1,4,7,30],[1,4,9,31],[1,4,8,32],[1,33],[1,2,
3,4,11,14,15,34],[1,2,3,4,10,15,16,35],[1,3,10,11,13,36],[1,2,3,10,12,14,37],[
1,2,3,4,13,14,16,38],[1,3,4,11,12,16,39],[1,2,3,4,12,13,15,40],[1,5,6,7,41],[
1,6,8,42],[1,5,8,9,43],[1,7,8,9,44],[1,6,7,9,45],[1,3,17,46],[1,4,17,47],[1,2,
17,48],[1,3,5,10,20,49],[1,3,6,10,19,50],[1,3,6,10,51],[1,3,8,10,52],[1,3,7,
10,53],[1,3,7,10,25,54],[1,3,6,11,19,23,55],[1,3,5,12,20,56],[1,3,8,11,57],[1,
3,6,13,19,58],[1,3,5,11,20,59],[1,2,3,5,14,18,20,60],[1,3,9,10,61],[1,3,9,11,
62],[1,3,6,12,19,63],[1,3,4,6,16,19,26,64],[1,2,3,6,14,19,29,65],[1,2,3,4,6,
15,19,22,26,66],[1,2,3,4,5,15,18,20,21,67],[1,3,4,5,16,20,21,68],[1,3,5,13,20,
69],[1,2,3,6,14,22,23,29,70],[1,2,3,4,6,15,23,26,29,71],[1,3,4,7,16,25,30,
72],[1,2,3,4,7,15,24,25,30,73],[1,3,4,8,16,27,28,32,74],[1,4,33,75],[1,5,17,
76],[1,2,3,4,10,11,12,13,14,15,16,34,35,36,37,38,39,40,77],[1,2,5,6,7,18,22,
24,41,78],[1,3,6,8,23,28,42,79],[1,3,5,6,7,19,20,25,41,80],[1,4,5,6,7,21,26,
30,41,81],[1,4,5,8,9,21,27,31,43,82],[1,3,5,6,7,20,23,41,83],[1,2,5,6,7,18,29,
41,84],[1,4,6,8,27,32,42,85],[1,3,5,8,9,20,28,43,86],[1,2,6,8,22,29,42,87],[1,
4,5,8,9,21,32,43,88],[1,4,7,8,9,31,32,44,89],[1,2,6,7,9,24,29,45,90],[1,3,13,
17,46,91],[1,2,3,4,15,17,46,47,48,92],[1,3,12,17,46,93],[1,8,33,94],[1,5,33,
95],[1,9,33,96],[1,2,3,6,10,12,14,22,37,51,97],[1,3,6,10,11,13,23,36,51,98],[
1,2,3,4,5,11,14,15,18,20,21,34,59,60,67,99],[1,3,6,10,11,13,19,23,36,50,55,58,
100],[1,2,3,5,10,12,14,18,20,37,49,56,60,101],[1,2,3,4,5,10,15,16,18,20,21,35,
49,67,68,102],[1,2,3,4,6,10,15,16,19,22,26,35,50,64,66,103],[1,3,8,10,11,13,
28,36,57,104],[1,2,3,7,10,12,14,24,37,53,105],[1,3,8,10,11,13,28,36,52,106],[
1,2,3,4,7,10,15,16,24,25,30,35,54,72,73,107],[1,2,3,4,5,12,13,15,18,20,21,40,
56,67,69,108],[1,2,3,4,6,13,14,16,19,26,29,38,58,64,65,109],[1,3,5,10,11,13,
20,36,49,59,69,110],[1,2,3,4,5,13,14,16,18,20,21,38,60,68,69,111],[1,2,3,4,6,
12,13,15,19,22,26,40,58,63,66,112],[1,3,4,8,11,12,16,27,39,57,113],[1,2,3,4,6,
10,15,16,29,35,51,114],[1,3,4,5,11,12,16,20,21,39,56,59,68,115],[1,2,3,4,8,11,
14,15,32,34,57,116],[1,2,3,4,6,11,14,15,19,22,23,26,29,34,55,65,66,70,71,
117],[1,2,3,6,10,12,14,19,29,37,50,63,65,118],[1,3,4,6,11,12,16,19,23,26,39,
55,63,64,119],[1,3,4,9,11,12,16,31,39,62,120],[1,5,6,7,8,9,41,42,43,44,45,
121],[1,4,5,17,21,47,76,122],[1,2,5,17,18,48,76,123],[1,3,5,17,20,46,76,124],[
1,3,5,6,7,10,20,41,49,51,53,125],[1,3,5,6,7,10,19,20,25,41,49,50,54,80,126],[
1,3,6,8,10,19,42,50,51,52,127],[1,3,6,7,9,10,19,45,50,53,61,128],[1,3,6,7,9,
10,25,45,51,54,61,129],[1,3,5,8,9,10,20,43,49,52,61,130],[1,3,6,8,13,23,28,42,
79,131],[1,3,5,8,9,11,20,43,57,59,62,132],[1,3,5,6,7,12,19,20,25,41,56,63,80,
133],[1,3,5,6,7,13,19,20,25,41,58,69,80,134],[1,3,5,6,7,11,19,20,23,25,41,55,
59,80,83,135],[1,3,4,5,6,7,16,19,20,21,25,26,30,41,64,68,72,80,81,136],[1,2,3,
5,6,7,14,18,19,20,25,29,41,60,65,80,84,137],[1,2,3,4,5,6,7,15,18,19,20,21,22,
24,25,26,30,41,66,67,73,78,80,81,138],[1,3,7,8,9,10,25,44,52,53,54,61,139],[1,
2,3,6,8,14,22,23,28,29,42,70,79,87,140],[1,2,3,4,5,6,7,15,18,20,21,23,26,29,
30,41,67,71,81,83,84,141],[1,2,3,5,6,7,14,18,20,22,23,24,29,41,60,70,78,83,84,
142],[1,3,4,6,8,16,23,27,28,32,42,74,79,85,143],[1,3,4,5,8,9,16,20,21,27,28,
31,32,43,68,74,82,86,88,144],[1,2,3,4,12,13,15,17,40,46,47,48,91,92,93,145],[
1,4,5,21,33,75,95,146],[1,4,8,32,33,75,94,147],[1,2,3,4,5,10,11,12,13,14,15,
16,18,20,21,34,35,36,37,38,39,40,49,56,59,60,67,68,69,77,99,101,102,108,110,
111,115,148],[1,2,3,4,8,10,11,12,13,14,15,16,27,28,32,34,35,36,37,38,39,40,57,
74,77,104,113,116,149],[1,2,3,4,6,10,11,12,13,14,15,16,19,22,23,26,29,34,35,
36,37,38,39,40,50,55,58,63,64,65,66,70,71,77,100,103,109,112,117,118,119,
150],[1,2,3,4,6,10,11,12,13,14,15,16,22,23,29,34,35,36,37,38,39,40,51,70,77,
97,98,114,151],[1,3,5,6,7,8,9,20,23,28,41,42,43,44,45,79,83,86,121,152],[1,4,
5,6,7,8,9,21,27,31,32,41,42,43,44,45,82,85,88,89,121,153],[1,2,5,6,7,8,9,18,
22,24,29,41,42,43,44,45,78,84,87,90,121,154],[1,3,6,10,17,23,46,51,155],[1,3,
8,11,17,28,46,57,156],[1,3,5,13,17,20,46,69,76,91,124,157],[1,2,3,4,5,15,17,
18,20,21,46,47,48,67,76,92,122,123,124,158],[1,3,5,12,17,20,46,56,76,93,124,
159],[1,5,8,9,33,43,94,95,96,160],[1,2,3,4,5,6,7,10,15,16,18,19,20,21,22,24,
25,26,30,35,41,49,50,54,64,66,67,68,72,73,78,80,81,102,103,107,126,136,138,
161],[1,2,3,5,6,7,10,12,14,18,20,22,24,37,41,49,51,53,56,60,78,97,101,105,125,
162],[1,3,6,8,10,11,13,19,23,28,36,42,50,51,52,55,58,79,98,100,106,127,163],[
1,3,5,8,9,10,11,13,20,28,36,43,49,57,59,62,69,86,104,110,132,164],[1,2,3,5,6,
7,10,12,14,18,19,20,25,29,37,41,49,50,54,56,60,63,65,80,84,101,118,126,133,
137,165],[1,2,3,4,5,6,7,12,13,15,18,19,20,21,22,24,25,26,30,40,41,56,58,63,66,
67,69,73,78,80,81,108,112,133,134,138,166],[1,3,4,5,6,7,11,12,16,19,20,21,23,
25,26,30,39,41,55,56,59,63,64,68,72,80,81,83,115,119,133,135,136,167],[1,2,3,
4,6,8,10,15,16,19,22,26,29,35,42,50,51,52,64,66,87,103,114,127,168],[1,2,3,6,
8,10,12,14,19,22,29,37,42,50,51,52,63,65,87,97,118,127,169],[1,2,3,4,5,6,7,13,
14,16,18,19,20,21,25,26,29,30,38,41,58,60,64,65,68,69,72,80,81,84,109,111,134,
136,137,170],[1,2,3,4,5,6,7,10,15,16,18,20,21,29,35,41,49,51,53,67,68,84,102,
114,125,171],[1,3,5,6,7,10,11,13,20,23,36,41,49,51,53,59,69,83,98,110,125,
172],[1,2,3,4,5,6,7,11,14,15,18,19,20,21,22,23,24,25,26,29,30,34,41,55,59,60,
65,66,67,70,71,73,78,80,81,83,84,99,117,135,137,138,141,142,173],[1,2,3,4,5,8,
9,11,14,15,18,20,21,32,34,43,57,59,60,62,67,88,99,116,132,174],[1,3,4,5,8,9,
11,12,16,20,21,27,31,39,43,56,57,59,62,68,82,113,115,120,132,175],[1,3,5,6,7,
10,11,13,19,20,23,25,36,41,49,50,54,55,58,59,69,80,83,100,110,126,134,135,
176],[1,2,3,6,7,9,10,12,14,19,24,29,37,45,50,53,61,63,65,90,105,118,128,177],[
1,3,5,8,9,10,11,13,20,28,36,43,49,52,59,61,69,86,106,110,130,178],[1,2,3,4,6,
8,13,14,16,22,23,27,28,29,32,38,42,70,74,79,85,87,131,140,143,179],[1,2,3,4,6,
7,9,10,15,16,24,25,29,30,35,45,51,54,61,72,73,90,107,114,129,180],[1,3,5,6,7,
8,9,10,19,20,25,41,42,43,44,45,49,50,51,52,53,54,61,80,121,125,126,127,128,
129,130,139,181],[1,2,3,5,6,7,8,9,14,18,20,22,23,24,28,29,41,42,43,44,45,60,
70,78,79,83,84,86,87,90,121,140,142,152,154,182],[1,3,4,5,6,7,8,9,16,20,21,23,
27,28,31,32,41,42,43,44,45,68,74,79,82,83,85,86,88,89,121,143,144,152,153,
183],[1,3,5,6,7,8,9,13,20,23,28,41,42,43,44,45,69,79,83,86,121,131,152,184],[
1,3,6,10,11,13,17,19,23,36,46,51,55,91,98,155,185],[1,2,3,4,6,10,15,16,17,23,
26,29,35,46,47,48,51,71,92,114,155,186],[1,2,3,6,10,12,14,17,22,23,29,37,46,
51,70,93,97,155,187],[1,2,3,4,5,12,13,15,17,18,20,21,40,46,47,48,56,67,69,76,
91,92,93,108,122,123,124,145,157,158,159,188],[1,3,4,8,11,12,16,17,27,28,32,
39,46,57,74,93,113,156,189],[1,4,5,8,9,21,32,33,43,75,88,94,95,96,146,147,160,
190],[1,2,3,4,5,6,7,10,11,12,13,14,15,16,18,20,21,22,23,24,29,34,35,36,37,38,
39,40,41,49,51,53,56,59,60,67,68,69,70,77,78,83,84,97,98,99,101,102,105,108,
110,111,114,115,125,142,148,151,162,171,172,191],[1,2,3,4,5,6,7,10,11,12,13,
14,15,16,18,19,20,21,22,23,24,25,26,29,30,34,35,36,37,38,39,40,41,49,50,54,55,
56,58,59,60,63,64,65,66,67,68,69,70,71,72,73,77,78,80,81,83,84,99,100,101,102,
103,107,108,109,110,111,112,115,117,118,119,126,133,134,135,136,137,138,141,
142,148,150,161,165,166,167,170,173,176,192],[1,2,3,4,6,8,10,11,12,13,14,15,
16,19,22,23,26,28,29,34,35,36,37,38,39,40,42,50,51,52,55,58,63,64,65,66,70,71,
77,79,87,97,98,100,103,106,109,112,114,117,118,119,127,140,150,151,163,168,
169,193],[1,2,3,4,5,8,9,10,11,12,13,14,15,16,18,20,21,27,28,31,32,34,35,36,37,
38,39,40,43,49,56,57,59,60,62,67,68,69,74,77,82,86,88,99,101,102,104,108,110,
111,113,115,116,120,132,144,148,149,164,174,175,194],[1,3,8,10,11,13,28,33,36,
52,57,94,104,106,195],[1,3,5,6,7,10,17,20,23,41,46,49,51,53,76,83,124,125,155,