tmtwmx.tom

GAP源码

#############################################################################
##
#W  tmtwmx.tom           GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmtwmx.tom,v 4.5 2003/12/15 09:59:52 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of maximal subgroups of simple 
##  twisted groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmtwmx.tom,v $
#H  Revision 4.5  2003/12/15 09:59:52  gap
#H  ***&{^3}D_4(2)&:&The derived subgroup for the last classes in the maximal
#H  subgroups $S_3 \times L_2(8)$ and $(7 \times L_2(7)):3$ were corrected,
#H  they are in the last but one class not in the last
#H      TB
#H
#H  Revision 4.4  2001/07/05 07:20:24  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/tmtwmx.tom,v
#H  Working file: tmtwmx.tom
#H  head: 4.3
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  	GAP4R2: 4.3.0.8
#H  	GAP4R2PRE2: 4.3.0.6
#H  	GAP4R2PRE1: 4.3.0.4
#H  	GAP4R1: 4.3.0.2
#H  	GAP4B5: 4.2.0.4
#H  	dec16-98b: 4.2
#H  	GAP4b4: 4.2
#H  	version-14-apr: 4.2
#H  	version-15-jun: 4.2
#H  keyword substitution: kv
#H  total revisions: 4;	selected revisions: 4
#H  description:
#H  ----------------------------
#H  revision 4.3
#H  date: 1999/07/01 09:42:05;  author: gap;  state: Exp;  lines: +11 -11
#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.2
#H  date: 1997/12/05 14:56:53;  author: gap;  state: Exp;  lines: +323 -3
#H  added new table of marks "3`D4(2)"
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 12:38:07;  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:24:27;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmtwmx_tom :=
    "@(#)$Id: tmtwmx.tom,v 4.5 2003/12/15 09:59:52 gap Exp $";

SetActualLibFileName("tmtwmx");
LIBTOM( "2^(3+3):7",
[[1],[1,2],[1,2,3],[1,2,4],[1,5],[1,2,3,6],[1,2,3,4,7],[1,2,3,4,8],[1,2,3,4,
9],[1,2,3,4,6,7,8,9,10],[1,2,3,4,6,7,8,9,10,11],[1,2,3,5,6,12],[1,2,3,4,6,7,8,
9,10,11,13],[1,2,3,4,5,6,7,8,9,10,11,12,13,14]],
0,[[1],[1,1],[1,3,1],[1,1,1],[1,1],[1,7,7,1],[1,3,1,2,1],[1,3,1,2,1],[1,3,1,2,
1],[1,7,7,4,1,2,2,2,1],[1,7,7,12,1,6,6,6,3,1],[1,7,7,8,1,1],[1,7,7,28,1,14,14,
14,7,7,1],[1,7,7,28,64,1,14,14,14,7,7,8,1,1]],
[1,2,4,4,7,8,8,8,8,16,32,56,64,448],
[14,13,13,10,5,14,11,11,11,13,13,12,14,14],
[1,1,1,1,1,1,1,1,1,1,2,6,6,13],
[( 1,55,46,54,40,21, 8)( 2,31,42,24,12, 5, 9)( 3,39,30,19,41,22,10)
( 4,28,36,20,37,23,11)( 6,29,56,51,43,25,13)( 7,49,35,18,44,26,14)
(15,53,38,27,34,17,32)(16,45,50,47,52,48,33),( 1,24,37,15)( 2,16)( 3,31,14,17)
( 5,41,38,18)( 6,19)( 7, 8,39,20)( 9,27)(10,28)(11,48,46,29)(12,23)
(13,49,47,30)(21,43,36,45)(22,44)(25,42,50,32)(26,40)(34,51)(35,52)(53,55)],
[[[[]]],[[[2,-2]]],[[[1,1,2,-2,1,-1]],[[2,-2]]],[[[2,1]]],[[[1,-3]]],[[[2,1,1,
-1,2,-2,1,1,2,1]],[[2,-2]],[[1,1,2,-2,1,-1]]],[[[1,1,2,1],[3,1,1,-2,3,1]],[[1,
1,2,-1,1,-1,2,-1]]],[[[1,1,2,1,1,-1,2,-1]],[[2,-2]]],[[[1,1,2,-1,1,-1,2,1]],[[
1,1,2,-2,1,-1]]],[[[1,1,2,1,1,-1,2,-1]],[[2,-2]],[[1,1,2,-1,1,-1,2,-1]]],[[[2,
1,1,-1,2,-1,1,1]],[[1,1,2,-1,1,-1]],[[2,-2]]],[[[1,1,2,1]],[[2,-2]]],[[[1,-1,
2,1,1,1]],[[2,1]],[[1,1,2,1,1,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "13:4",
[[1],[1,2],[1,2,3],[1,4],[1,2,4,5],[1,2,3,4,5,6]],
0,[[1],[1,1],[1,1,1],[1,1],[1,13,1,1],[1,13,13,1,1,1]],
[1,2,4,13,26,52],
[6,3,3,6,6,6],
[1,1,1,1,4,4],
[( 1, 2)( 3, 4)( 5, 7)( 6, 8)(10,12)(11,13),( 2, 8, 5, 3)( 4,11, 9, 6)
( 7,13,12,10)],
[[[[]]],[[[1,1]]],[[[2,-1]]],[[[1,1,2,-2]]],[[[2,-2]],[[1,1]]],[[[1,1]],[[2,
1]]]]);


LIBTOM( "5:4",
[[1],[1,2],[1,2,3],[1,4],[1,2,4,5],[1,2,3,4,5,6]],
0,[[1],[1,1],[1,1,1],[1,1],[1,5,1,1],[1,5,5,1,1,1]],
[1,2,4,5,10,20],
[6,3,3,6,6,6],
[1,1,1,1,4,4],
[(1,2)(4,5),(2,5,4,3)],
[[[[]]],[[[1,1]]],[[[2,-1]]],[[[2,1,1,1,2,1]]],[[[2,-2]],[[1,1]]],[[[1,1]],[[
2,1]]]]);


LIBTOM( "D14",
[[1],[1,2],[1,3],[1,2,3,4]],
0,[[1],[1,1],[1,1],[1,7,1,1]],
[1,2,7,14],
[4,2,4,4],
[1,1,1,3],
[(2,4)(3,5)(6,7),(1,2)(3,4)(5,7)],
[[[[]]],[[[1,1]]],[[[1,1,2,1]]],[[[1,1]],[[2,1]]]]);






LIBTOM( "2.[2^8]:5:4",
[[1],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,2,3,8],[1,2,4,9],[1,3,4,10],[1,3,
4,11],[1,3,6,12],[1,3,4,13],[1,2,5,14],[1,3,5,15],[1,4,16],[1,3,7,17],[1,2,
18],[1,3,5,19],[1,3,6,7,20],[1,4,6,21],[1,2,6,7,22],[1,3,23],[1,4,24],[1,4,7,
25],[1,4,26],[1,5,6,7,27],[1,4,6,7,28],[1,5,6,7,29],[1,4,5,30],[1,5,7,31],[1,
4,5,32],[1,4,5,33],[1,5,6,34],[1,4,35],[1,7,36],[1,7,37],[1,38],[1,2,3,4,8,9,
10,39],[1,2,4,9,16,40],[1,2,3,4,8,9,13,41],[1,2,3,4,8,9,11,42],[1,2,3,8,18,
43],[1,3,4,7,10,17,25,44],[1,2,3,5,8,14,15,19,45],[1,3,4,6,10,12,21,46],[1,3,
4,5,10,15,30,47],[1,3,5,6,12,19,34,48],[1,3,5,6,7,12,17,19,29,49],[1,3,5,7,17,
19,31,50],[1,3,5,6,7,12,17,19,27,51],[1,2,4,9,24,52],[1,3,4,10,11,16,53],[1,3,
4,5,10,19,30,54],[1,2,3,8,23,55],[1,2,4,5,9,14,30,56],[1,3,4,10,23,57],[1,3,4,
6,7,10,12,17,28,58],[1,2,4,9,26,59],[1,2,4,9,18,60],[1,3,4,10,23,61],[1,2,3,6,
7,8,12,17,20,22,62],[1,4,24,35,63],[1,3,4,10,11,13,16,64],[1,3,4,6,7,10,20,21,
25,28,65],[1,3,4,10,26,66],[1,4,7,24,25,67],[1,2,4,9,35,68],[1,4,16,24,26,
69],[1,4,16,24,26,70],[1,3,4,10,35,71],[1,2,4,5,9,14,32,33,72],[1,4,24,35,
73],[1,2,4,6,7,9,21,22,25,28,74],[1,2,4,9,18,75],[1,4,6,21,24,76],[1,3,4,10,
35,77],[1,3,4,10,24,78],[1,4,7,25,26,35,79],[1,4,5,16,30,32,33,80],[1,2,5,6,7,
14,22,27,29,31,34,81],[1,3,7,17,36,82],[1,3,4,7,13,25,35,83],[1,4,6,7,21,24,
25,84],[1,3,4,7,11,17,23,85],[1,3,4,6,13,21,35,86],[1,4,7,16,25,35,87],[1,4,6,
21,26,35,88],[1,4,24,89],[1,4,24,90],[1,4,7,25,26,35,91],[1,3,5,19,23,92],[1,
3,5,7,15,17,23,93],[1,2,3,5,8,14,18,94],[1,3,4,6,11,12,23,95],[1,4,5,16,30,32,
33,96],[1,3,7,17,37,97],[1,3,4,5,11,15,19,32,33,98],[1,4,5,24,33,99],[1,3,5,6,
7,15,20,27,29,31,34,100],[1,4,5,24,32,101],[1,4,6,16,21,35,102],[1,4,6,21,26,
35,103],[1,3,4,13,24,26,104],[1,2,4,5,9,14,18,105],[1,3,5,6,12,15,23,106],[1,
4,24,35,107],[1,2,18,108],[1,5,6,7,29,36,109],[1,4,5,6,7,25,27,28,29,30,31,
110],[1,5,7,31,36,37,111],[1,5,7,31,36,37,112],[1,4,5,26,32,33,113],[1,5,6,7,
29,37,114],[1,3,23,115],[1,2,6,7,22,36,37,116],[1,3,6,7,20,36,37,117],[1,4,5,
6,7,21,27,28,29,30,34,118],[1,2,38,119],[1,7,38,120],[1,6,38,121],[1,2,3,4,8,
9,10,11,16,39,40,42,53,122],[1,2,3,4,5,8,9,10,14,15,19,30,39,45,47,54,56,
123],[1,2,3,4,8,9,10,11,13,16,39,40,41,42,64,124],[1,2,3,4,8,9,10,18,39,43,60,
125],[1,3,4,10,11,13,16,53,64,126],[1,2,3,4,6,7,8,9,10,12,17,20,21,22,25,28,
39,44,46,58,62,65,74,127],[1,2,3,4,8,9,10,26,39,59,66,128],[1,2,3,4,8,9,10,23,
39,55,57,61,129],[1,2,3,4,8,9,11,18,42,43,75,130],[1,2,3,4,8,9,10,24,39,52,78,
131],[1,2,3,4,5,8,9,11,14,15,19,32,33,42,45,72,98,132],[1,2,4,5,9,14,16,18,30,
40,56,60,105,133],[1,2,4,9,16,18,40,60,75,134],[1,2,3,4,5,8,9,13,14,18,30,41,
56,60,94,135],[1,3,4,5,7,10,15,17,23,25,30,44,47,61,93,136],[1,3,4,5,6,7,10,
12,17,19,21,27,28,29,30,34,46,48,49,51,54,58,118,137],[1,2,3,5,6,7,8,12,14,15,
17,19,20,22,27,29,31,34,45,48,49,50,51,62,81,100,138],[1,3,4,5,6,10,12,15,21,
23,30,46,47,61,106,139],[1,2,4,9,16,24,40,52,140],[1,2,4,9,16,24,26,40,52,59,
69,70,141],[1,2,4,9,18,24,52,75,142],[1,2,3,5,8,14,15,19,23,45,55,92,143],[1,
2,3,4,8,9,10,35,39,68,71,77,144],[1,2,4,9,18,24,52,75,145],[1,3,4,5,6,7,10,12,
17,19,25,27,28,29,30,31,44,49,50,51,54,58,110,146],[1,2,4,5,9,14,16,30,32,33,
40,56,72,80,96,147],[1,2,3,4,8,9,13,24,26,41,52,59,104,148],[1,2,4,5,9,14,24,
32,33,52,72,101,149],[1,3,4,7,10,11,16,17,23,25,44,53,57,85,150],[1,2,4,5,9,
14,24,32,33,52,72,99,151],[1,3,4,6,10,11,12,16,21,23,46,53,57,95,152],[1,2,4,
9,16,26,40,59,153],[1,2,3,4,5,8,9,11,14,18,30,42,56,60,94,105,154],[1,2,4,5,9,
14,18,24,32,33,52,72,75,155],[1,3,4,5,10,15,24,30,47,78,156],[1,2,3,4,5,8,9,
13,14,15,18,19,41,43,45,94,105,157],[1,2,4,5,9,14,18,26,32,33,59,72,75,158],[