tmsymc.tom

GAP源码

#############################################################################
##
#W  tmsymc.tom           GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmsymc.tom,v 4.3 2001/07/05 07:19:40 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of some covers of symmetric groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmsymc.tom,v $
#H  Revision 4.3  2001/07/05 07:19:40  gap
#H  first revision for tomlib
#H
#H
#H  tom history (GAP 4)
#H  -------------------
#H  (Rev. 4.3 of tomlib coincides with Rev. 4.2 of tom in GAP 4)
#H  
#H  RCS file: /gap/CVS/GAP/4.0/tom/tmsymc.tom,v
#H  Working file: tmsymc.tom
#H  head: 4.2
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  	GAP4R2: 4.2.0.8
#H  	GAP4R2PRE2: 4.2.0.6
#H  	GAP4R2PRE1: 4.2.0.4
#H  	GAP4R1: 4.2.0.2
#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: 3;	selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1999/07/01 09:42:04;  author: gap;  state: Exp;  lines: +4 -4
#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.1
#H  date: 1997/11/20 12:24:38;  author: gap;  state: Exp;  lines: +2 -2
#H  changed revision number to 4.1
#H  ----------------------------
#H  revision 1.1
#H  date: 1997/11/19 13:23:38;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmsymc_tom :=
    "@(#)$Id: tmsymc.tom,v 4.3 2001/07/05 07:19:40 gap Exp $";

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