tmalt1.tom

GAP源码

#############################################################################
##
#W  tmalt1.tom           GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmalt1.tom,v 4.5 2001/07/05 06:56:41 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of alternating groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmalt1.tom,v $
#H  Revision 4.5  2001/07/05 06:56:41  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/tmalt1.tom,v
#H  Working file: tmalt1.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.2.0.2
#H  	dec16-98b: 4.2
#H  	GAP4b4: 4.1
#H  	version-14-apr: 4.1
#H  	version-15-jun: 4.1
#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: +76 -22
#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: 1999/06/08 10:24:35;  author: gap;  state: Exp;  lines: +26 -82
#H  adjusted to new library version,
#H  start of explicit documentation of chosen standard generators in the
#H  data files (currently only for alternating groups)
#H  
#H      TB
#H  ----------------------------
#H  revision 4.2
#H  date: 1998/09/12 14:20:00;  author: gap;  state: Exp;  lines: +50 -2
#H  added some more fusions to the library of table of marks
#H  T. Merkwitz
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/11/20 11:34:19;  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:48:33;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tmalt1_tom :=
    "@(#)$Id: tmalt1.tom,v 4.5 2001/07/05 06:56:41 gap Exp $";

SetActualLibFileName("tmalt1");
LIBTOM( "A5",
[[1],[1,2],[1,3],[1,2,4],[1,5],[1,2,3,6],[1,2,5,7],[1,2,3,4,8],[1,2,3,4,5,6,7,
8,9]],
0,[[1],[1,1],[1,1],[1,3,1],[1,1],[1,3,1,1],[1,5,1,1],[1,3,4,1,1],[1,15,10,5,6,
10,6,5,1]],
[1,2,3,4,5,6,10,12,60],
[9,4,6,8,7,6,7,8,9],
[1,1,1,1,1,3,5,4,9],
[(2,4)(3,5),(1,2,5)],
[[[[]]],[[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1,1,1,2,1]]],[[[2,1,1,1,2,-1,1,1,2,
-1]]],[[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1,1,1,2,1]],[[1,1]]],[[[1,1,2,1,1,1,2,
1,1,1]]],[[[1,1,2,1],[3,2,2,1,1,1]],[[2,1,1,1,2,-1,1,1,2,-1]]],[[[2,1,1,1,2,
-1]],[[2,-1,1,1,2,1]]],[[[2,1,1,1,2,-1,1,1,2,-1]],[[1,1]]],[[[1,1]],[[2,
1]]]]);


LIBTOM( "A6",
[[1],[1,2],[1,3],[1,4],[1,5],[1,2,6],[1,2,7],[1,2,8],[1,2,3,9],[1,2,4,10],[1,
2,6,7,8,11],[1,3,4,12],[1,2,5,13],[1,2,3,8,14],[1,2,4,7,15],[1,2,3,4,9,10,12,
16],[1,2,3,6,7,8,9,11,14,17],[1,2,4,6,7,8,10,11,15,18],[1,2,3,4,6,9,10,12,16,
19],[1,2,3,5,8,9,13,14,20],[1,2,4,5,7,10,13,15,21],[1,2,3,4,5,6,7,8,9,10,11,
12,13,14,15,16,17,18,19,20,21,22]],
0,
[[1],[1,1],[1,1],[1,1],[1,1],[1,1,1],[1,3,1],[1,3,1],[1,3,1,1],[1,3,1,1],[1,5,
1,1,1,1],[1,2,2,1],[1,5,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,9,2,2,6,6,1,1],[1,9,4,
3,3,1,4,3,1,1],[1,9,4,3,1,3,4,3,1,1],[1,9,2,2,9,6,6,1,1,1],[1,15,10,6,5,10,6,
5,1],[1,15,10,6,5,10,6,5,1],[1,45,20,20,36,45,15,15,60,60,45,10,36,15,15,10,
15,15,10,6,6,1]],
[1,2,3,3,5,4,4,4,6,6,8,9,10,12,12,18,24,24,36,60,60,360],
[22,11,16,16,13,11,18,17,9,10,11,19,13,17,18,19,17,18,19,20,21,22],
[1,1,1,1,1,1,1,1,3,4,2,1,5,8,7,12,14,15,12,20,21,22],
[(1,2)(3,4),(1,2,4,5)(3,6)],
[[[[]]],[[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,1,
4,-2,3,-1]]],[[[1,1,2,1],[3,2,2,1,1,1,2,-1,3,1]]],[[[1,1,2,1],[2,1,1,1],[2,1,
3,1,4,-1,3,1,4,-1]]],[[[2,1,1,1],[3,2,2,-1,1,1,2,-2]]],[[[2,1,1,1],[3,1,2,-1,
1,1,3,1,2,-1]],[[1,1]]],[[[1,1,2,1],[2,1,1,1],[4,2,3,-1,4,1,2,-2,3,1]],[[2,1,
1,1],[3,1,2,-1,1,1,3,1,2,-1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,1,4,-2,3,-1]],[[1,
1,2,1],[3,2,2,1,1,1,2,1,3,1]]],[[[1,1,2,1],[2,1,3,1],[4,1,3,1,2,1,1,1,4,
-1]],[[1,1,2,1],[3,2,2,1,1,1,2,-1,3,1]]],[[[1,1,2,1],[2,1,1,1],[4,2,3,-1,4,1,
2,-2,3,1]],[[1,1]]],[[[1,1,2,1],[2,1,1,1,3,-2,2,1,3,1]],[[1,1,2,1],[3,2,2,1,1,
1,2,-1,3,1]]],[[[1,1,2,1],[3,1,1,1,2,-1,3,-2]],[[1,1,2,1],[2,1,1,1,3,1,2,1,3,
1]]],[[[1,1,2,1],[1,1,2,-1,3,1,2,1,3,1]],[[2,1,1,1],[3,1,2,-1,1,1,3,1,2,
-1]]],[[[1,1,2,1],[2,1,1,1],[4,1,3,-2,2,1,4,-1,3,1]],[[1,1]]],[[[1,1,2,1],[2,
1,1,1,3,-2,2,1,3,1]],[[1,1,2,-1,1,1,2,1,1,1]],[[1,1,2,1],[2,1,1,1,3,2,2,
1]]],[[[1,1,2,1],[2,1,1,1],[2,1,3,1,4,-2,3,-1]],[[1,1,2,1],[2,1,1,1],[3,1,4,2,
3,-2]]],[[[1,1,2,1],[3,1,2,1,1,1,2,-1,3,2]],[[2,1,1,1],[3,2,2,-1,1,1,2,
-2]]],[[[1,1,2,-1,1,1,2,1,1,1]],[[2,1,1,1,2,-1,1,1]]],[[[1,1]],[[1,1,2,1],[3,
1,2,1,3,1,1,1,2,-1]]],[[[1,1]],[[1,1,2,1],[1,1,2,-1,3,2,2,1]]],[[[1,1]],[[2,
1]]]]);



LIBTOM( "A7",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,6],[1,2,7],[1,8],[1,2,3,9],[1,2,3,10],[1,
2,4,11],[1,12],[1,2,5,6,7,13],[1,3,4,14],[1,2,8,15],[1,2,4,5,16],[1,2,3,5,
17],[1,2,3,5,9,18],[1,2,4,5,19],[1,2,3,7,9,20],[1,2,4,6,21],[1,2,3,6,9,10,
22],[1,2,3,4,10,11,14,23],[1,2,7,8,15,24],[1,4,12,25],[1,2,4,5,6,7,11,13,19,
26],[1,2,3,5,6,7,9,10,13,18,20,22,27],[1,2,4,5,6,7,11,13,21,28],[1,2,3,5,6,7,
10,13,17,29],[1,2,4,5,6,7,11,13,16,30],[1,2,3,4,5,9,14,16,17,18,19,31],[1,2,3,
4,7,10,11,14,23,32],[1,2,3,5,8,10,15,17,33],[1,2,4,6,8,11,15,21,34],[1,2,3,4,
5,6,7,9,10,11,13,14,16,17,18,19,20,22,23,26,27,29,30,31,35],[1,2,3,5,6,7,8,9,
10,13,15,17,22,24,29,33,36],[1,2,4,5,6,7,11,12,13,19,21,25,26,28,37],[1,2,4,5,
6,7,11,12,13,16,21,25,28,30,38],[1,2,3,4,5,6,7,8,10,11,13,14,15,17,21,23,28,
29,32,33,34,39],[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]],
0,
[[1],[1,1],[1,1],[1,1],[1,3,1],[1,3,1],[1,1,1],[1,1],[1,1,1,1],[1,3,1,1],[1,3,
1,1],[1,1],[1,5,1,1,1,1],[1,2,2,1],[1,5,1,1],[1,3,4,1,1],[1,3,4,1,1],[1,3,1,1,
3,1],[1,3,4,1,1],[1,1,1,3,1,1],[1,3,4,1,1],[1,7,1,3,1,2,1],[1,9,2,2,6,6,1,1],[
1,5,5,1,1,1],[1,7,1,1],[1,9,4,1,3,3,4,3,1,1],[1,9,1,1,3,3,3,2,3,1,1,1,1],[1,9,
4,3,1,3,4,3,1,1],[1,9,4,1,3,3,4,3,1,1],[1,9,4,1,3,3,4,3,1,1],[1,3,5,8,1,3,4,1,
1,1,1,1],[1,9,2,2,9,6,6,1,1,1],[1,15,10,5,6,10,6,5,1],[1,15,10,5,6,10,6,5,1],[
1,21,5,8,1,9,9,3,18,24,9,4,1,1,1,1,3,3,4,3,3,3,3,1,1],[1,25,10,5,15,15,6,10,
20,15,6,5,10,6,5,1,1],[1,21,28,7,7,21,28,8,21,7,7,8,7,7,1],[1,21,28,7,7,21,28,
8,21,7,7,8,7,7,1],[1,45,20,20,15,15,45,36,60,60,45,10,36,15,15,10,15,15,10,6,
6,1],[1,105,35,140,35,105,315,126,105,210,420,120,315,70,126,35,35,35,35,105,
105,105,70,126,120,105,105,105,105,105,35,70,21,42,35,21,15,15,7,1]],
[1,2,3,3,4,4,4,5,6,6,6,7,8,9,10,12,12,12,12,12,12,12,18,20,21,24,24,24,24,24,
36,36,60,60,72,120,168,168,360,2520],
[40,27,35,23,35,28,13,24,27,22,11,25,13,32,24,35,35,35,35,27,28,27,32,24,25,
26,27,28,29,30,35,32,36,34,35,36,37,38,39,40],
[1,1,1,1,1,1,1,1,1,3,4,1,2,1,8,5,5,1,5,3,6,3,14,8,12,19,9,21,17,16,5,14,33,34,
31,33,37,38,39,40],
[(1,2,3),(3,4,5,6,7)],
[[[[]]],[[[2,1,1,-1,2,-1,1,-1]]],[[[1,1]]],[[[1,-1,2,1,1,1,2,1]]],[[[1,-1],[3,
1,2,-2,1,-1,2,1,1,-1,2,1,3,-1]],[[1,-1],[3,1,2,-1,1,-1,2,-1,3,1,2,2,1,1]]],[[[
1,-1],[3,1,2,-1,1,1,2,-1,3,1,2,1,1,1,2,1]],[[1,-1],[3,1,2,1,1,1,2,1,3,1,2,-1,
1,1,2,-1]]],[[[2,1,1,1,2,-2,1,-1]]],[[[2,1]]],[[[1,1,2,1],[1,-1,2,1,3,2]]],[[[
2,1,1,1,2,1,1,-1,2,-1,1,1,2,-1]],[[2,-1,1,1,2,1]]],[[[1,-1],[3,1,2,2,1,1,2,-1,
1,1,2,-1,3,-1]],[[1,-1],[3,1,2,-1,1,-1,2,-1,3,1,2,2,1,1]]],[[[2,1,1,-1]]],[[[
1,-1],[3,1,2,1,1,1,2,1,1,1,2,-2,3,-1]],[[1,1,2,2,1,-1,2,1]]],[[[2,2,1,1,2,1,1,
-1,2,-1]],[[1,1,2,-2,1,-1,2,2]]],[[[1,-1],[3,1,2,-2,1,-1,2,1,1,-1,2,1,3,
-1]],[[2,1,1,1,2,1,1,-1,2,-1]]],[[[1,-1],[3,1,2,1,1,-1,2,2,1,1,2,-1,3,1]],[[2,
2,1,-1,2,1,1,1,2,-1]]],[[[1,1,2,-2,1,-1,2,2]],[[1,1,2,-1,1,-1,2,1]]],[[[2,1,1,
1],[2,1,3,1,2,1,3,-1,1,1]],[[1,-1,2,-2,1,-1,2,2]]],[[[2,1,1,1,2,-2,1,-1,2,-1,
1,1]],[[1,1,2,2,1,-1,2,1,1,1,2,-1]]],[[[1,1,2,2,1,-1,2,-2]],[[2,2,1,-1,2,1,1,
1]]],[[[1,1,2,1,1,-1,2,1]],[[2,1,1,1,2,1,1,-1]]],[[[2,1,1,1],[2,1,3,1,2,1,3,
-1,1,1]],[[2,1,1,1,2,1,1,-1,2,-1,1,1,2,-1]]],[[[1,1,2,2,1,-1,2,1,1,1,2,-1]],[[
2,-2,1,1,2,2]],[[2,1,1,1,2,1,1,-1,2,-1,1,1,2,-1]]],[[[1,1,2,-1,1,-1,2,1,1,1,2,
1]],[[2,1,1,-1,2,1,1,1,2,-1,1,-1]]],[[[1,-1],[3,1,2,1,1,-1,2,2,1,1,2,1,3,
1]],[[2,2,1,1,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,2,1]]],[[[2,1,1,1],[2,1,3,1,2,1,3,-1,1,1]],[[1,-1,2,-2,1,-1,2,
2]],[[2,1,1,1,2,1,1,-1,2,-1,1,1,2,-1]]],[[[1,-1],[3,1,2,-1,1,-1,2,-1,3,1,2,2,
1,1]],[[1,1,2,1,1,-1,2,1]],[[2,1,1,1,2,1,1,-1]]],[[[1,-1],[3,1,2,-1,1,1,2,-1,
3,1,2,2,1,1]],[[2,2,1,1,2,-1,1,-1]]],[[[1,-1],[3,1,2,1,1,1,2,1,3,1,2,-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,