tmsympmx.tom

GAP源码

#############################################################################
##
#W  tmsympmx.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmsympmx.tom,v 4.2 2001/07/05 07:20:11 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the table of marks of maximal subgroups of symplectic
##  groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmsympmx.tom,v $
#H  Revision 4.2  2001/07/05 07:20: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/tmsympmx.tom,v
#H  Working file: tmsympmx.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:25:14;  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:24:13;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmsympmx_tom :=
    "@(#)$Id: tmsympmx.tom,v 4.2 2001/07/05 07:20:11 gap Exp $";

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