tmlin2a.tom

GAP源码

#############################################################################
##
#W  tmlin2a.tom          GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmlin2a.tom,v 4.3 2001/07/05 07:01:55 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of some automorphismgroups of
##  $L2(??)$.
##
#H  tomlib history
#H  --------------
#H  $Log: tmlin2a.tom,v $
#H  Revision 4.3  2001/07/05 07:01:55  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/tmlin2a.tom,v
#H  Working file: tmlin2a.tom
#H  head: 4.2
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H  	GAP4R2: 4.2.0.10
#H  	GAP4R2PRE2: 4.2.0.8
#H  	GAP4R2PRE1: 4.2.0.6
#H  	GAP4R1: 4.2.0.4
#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: 3;	selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1998/09/12 14:20:09;  author: gap;  state: Exp;  lines: +188 -82
#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:51:35;  author: gap;  state: Exp;  lines: +2 -2
#H  changed revision number to 4.1
#H  ----------------------------
#H  revision 1.1
#H  date: 1997/11/17 13:02:55;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tmlin2a_tom :=
    "@(#)$Id: tmlin2a.tom,v 4.3 2001/07/05 07:01:55 gap Exp $";

SetActualLibFileName("tmlin2a");
LIBTOM( "L2(7).2",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,6],[1,2,3,7],[1,3,4,8],[1,2,4,9],[1,3,4,
10],[1,11],[1,2,3,6,7,12],[1,2,6,13],[1,2,5,6,14],[1,2,4,5,15],[1,2,3,4,7,8,9,
10,16],[1,3,11,17],[1,2,3,5,6,7,12,13,14,18],[1,4,11,19],[1,2,4,5,6,9,14,15,
20],[1,3,4,8,11,17,19,21],[1,2,4,5,6,9,11,14,15,19,20,22],[1,2,3,4,5,6,7,8,9,
10,11,12,13,14,15,16,17,18,19,20,21,22,23]],
0,
[[1],[1,1],[1,1],[1,1],[1,3,1],[1,1,1],[1,1,2,1],[1,1,1,1],[1,3,1,1],[1,3,1,
1],[1,1],[1,1,4,1,2,1],[1,1,1,1],[1,5,2,1,1],[1,3,4,1,1],[1,3,4,1,3,1,1,1,1],[
1,7,1,1],[1,5,4,2,1,2,1,1,1,1],[1,7,1,1],[1,9,4,4,3,4,3,1,1],[1,7,7,7,1,1,1,
1],[1,21,28,14,21,28,8,21,14,8,14,1],[1,21,28,28,14,21,42,28,28,28,8,21,21,21,
14,28,8,21,8,14,8,1,1]],
[1,2,2,3,4,4,4,6,6,6,7,8,8,8,12,12,14,16,21,24,42,168,336],
[23,18,16,16,20,18,12,16,16,16,21,18,18,18,20,16,21,18,21,20,21,23,23],
[1,1,1,1,1,1,1,1,4,4,1,2,1,2,5,4,11,6,11,15,11,22,22],
[(1,3)(2,7)(4,6),(3,6,7)(4,5,8)],
[[[[]]],[[[1,1,2,1],[3,1,1,1,2,1,1,1,2,1,3,1]]],[[[1,1]]],[[[2,1]]],[[[1,1,2,
1],[1,1,2,-1,3,2,2,1,1,1,2,1,3,2]],[[1,1,2,1],[2,1,1,1],[3,1,1,1,4,2,3,-2,2,
-1]]],[[[1,1,2,1,1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,2,3,-2,2,-1]],[[1,1,
2,-1,1,1,2,1,1,1]]],[[[1,1,2,-1,1,1,2,1],[3,1,1,1,2,-1,3,1]]],[[[1,1,2,1],[2,
1,1,1],[3,1,4,-2,1,1,3,-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,1,1,2,-1]]],[[[1,1,2,1],[2,-1,3,1,1,1,2,-1,3,2]],[[1,1,
2,-1,1,1,2,1,1,1]]],[[[1,1,2,1]]],[[[1,1,2,1],[2,1,1,1],[3,1,1,1,4,2,3,-2,2,
-1]],[[1,1,2,1],[2,-1,3,1,1,1,2,-1,3,2]]],[[[2,1,1,1],[2,-1,3,-1,1,1,2,-1,1,1,
2,1,3,-1]],[[1,1,2,-1,1,1]]],[[[1,1,2,1],[2,1,1,1],[3,2,4,1,2,1,4,-1,3,1]],[[
2,1,1,1,2,-1]]],[[[1,1,2,1],[3,1,1,1,2,1,1,1,3,-2]],[[2,1,1,1],[1,1,2,-1,3,-1,
1,1,2,1,3,-1]]],[[[1,1,2,-1],[2,-1,3,2,1,1,2,1]],[[1,1,2,-1,1,1,2,1,1,1]]],[[[
1,1,2,-1,1,1,2,1,1,1,2,1,1,1]],[[2,1]]],[[[1,1,2,1],[2,-1,3,1,1,1,2,-1,3,
2]],[[1,1,2,-1,1,1]]],[[[1,1,2,1],[1,1,2,-1],[4,2,3,2,1,1]],[[2,1]]],[[[1,1,2,
1],[3,1,1,1,2,1,1,1,2,1,3,1]],[[2,1]]],[[[1,1]],[[2,1]]]]);



LIBTOM( "L2(16).2",
[[1],[1,2],[1,3],[1,4],[1,3,5],[1,3,6],[1,3,7],[1,3,8],[1,2,3,9],[1,10],[1,2,
4,11],[1,3,4,12],[1,2,4,13],[1,2,3,5,9,14],[1,3,5,6,7,15],[1,3,5,8,16],[1,2,3,
7,8,9,17],[1,2,3,6,8,9,18],[1,2,10,19],[1,3,10,20],[1,2,10,21],[1,3,4,5,22],[
1,2,3,4,9,11,12,13,23],[1,4,10,24],[1,3,5,6,7,15,25],[1,2,3,5,6,7,8,9,14,15,
16,17,18,26],[1,3,5,6,7,8,15,16,27],[1,28],[1,2,3,9,10,19,20,21,29],[1,2,3,4,
5,9,13,14,22,30],[1,2,4,10,11,21,24,31],[1,3,4,10,12,20,24,32],[1,2,4,10,13,
19,24,33],[1,2,3,5,6,7,8,9,14,15,16,17,18,25,26,27,34],[1,3,28,35],[1,3,4,5,6,
7,15,22,25,36],[1,3,4,5,10,12,20,22,37],[1,2,3,4,9,10,11,12,13,19,20,21,23,24,
29,31,32,33,38],[1,3,8,28,35,39],[1,3,5,6,7,10,15,25,40],[1,2,3,4,5,6,7,8,9,
13,14,15,16,17,18,22,25,26,27,30,34,36,41],[1,2,3,4,5,9,10,11,12,13,14,19,20,
21,22,23,29,30,37,42],[1,2,3,5,6,7,8,9,10,14,15,16,17,18,19,25,26,27,34,40,
43],[1,3,4,5,6,7,10,15,22,24,25,36,40,44],[1,2,3,4,5,6,7,8,9,10,13,14,15,16,
17,18,19,22,24,25,26,27,30,33,34,36,40,41,43,44,45],[1,3,4,5,6,7,10,12,15,20,
22,24,25,28,32,35,36,37,40,44,46],[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,41,42,43,
44,45,46,47]],
0,
[[1],[1,1],[1,1],[1,1],[1,3,1],[1,3,1],[1,3,1],[1,1,1],[1,2,1,1],[1,1],[1,3,1,
1],[1,3,1,1],[1,1,1,1],[1,4,3,1,6,1],[1,7,1,3,3,1],[1,3,1,2,1],[1,2,3,1,1,1,
1],[1,2,3,1,1,1,1],[1,5,1,1],[1,5,1,1],[1,1,1,1],[1,3,4,1,1],[1,4,3,1,3,1,1,1,
1],[1,1,1,1],[1,15,5,15,15,15,1],[1,4,7,1,3,3,2,6,1,1,1,2,2,1],[1,7,1,3,3,4,1,
2,1],[1,1],[1,6,5,5,1,1,1,1,1],[1,4,3,4,1,6,4,1,1,1],[1,3,1,1,1,3,1,1],[1,15,
1,1,5,3,1,1],[1,5,1,1,5,1,1,1],[1,4,15,5,15,15,6,6,1,15,3,6,6,1,3,3,1],[1,17,
1,1],[1,15,16,5,15,15,15,20,1,1],[1,15,10,5,6,10,6,5,1],[1,8,15,1,15,1,1,5,5,
1,3,3,5,1,3,1,1,1,1],[1,17,17,1,1,1],[1,15,5,15,15,16,15,1,1],[1,4,15,16,5,15,
15,6,6,16,1,15,3,6,6,20,1,3,3,4,1,1,1],[1,16,15,10,5,30,6,10,10,10,5,6,6,6,5,
10,6,5,1,1],[1,20,15,5,15,15,30,30,16,5,15,15,30,30,16,1,15,15,5,1,1],[1,15,
16,5,15,15,16,15,20,16,1,1,1,1],[1,20,15,16,5,15,15,30,30,16,80,5,15,15,30,30,
16,20,16,1,15,15,20,16,5,1,1,5,1,1,1],[1,255,136,85,255,255,136,680,255,408,
340,136,17,120,136,120,17,68,17,17,1],[1,68,255,136,85,255,255,510,510,136,
136,680,680,85,255,255,510,510,136,408,408,340,680,136,17,255,255,120,408,340,
136,136,136,85,120,17,68,136,120,17,85,68,17,17,17,1,1]],
[1,2,2,3,4,4,4,4,4,5,6,6,6,8,8,8,8,8,10,10,10,12,12,15,16,16,16,17,20,24,30,
30,30,32,34,48,60,60,68,80,96,120,160,240,480,4080,8160],
[47,42,34,38,41,34,34,26,26,38,38,23,23,41,34,34,26,26,38,29,29,30,23,38,45,
34,34,39,29,30,38,38,38,41,39,45,42,38,39,45,41,42,45,45,45,47,47],
[1,1,1,1,1,1,1,1,1,1,4,4,1,1,1,1,3,3,10,10,1,5,4,1,1,3,3,1,10,5,4,24,10,5,28,
25,37,24,28,25,25,37,40,25,40,46,46],
[( 1, 2, 6)( 3,14, 5)( 4, 9,15)( 8,11,12)(10,16,17),( 2, 8,17, 9)( 3, 6,16, 4)
( 5,11,12,14)( 7,13,15,10)],
[[[[]]],[[[1,1,2,-1,1,1,2,-1,1,1,2,-1]]],[[[2,-2]]],[[[1,1]]],[[[1,-1],[3,1,2,
-1,1,-1,2,-1,3,1,2,-2,1,1]],[[1,-1],[3,1,2,-2,1,-1,2,1,1,-1,2,1,3,-1]]],[[[1,
-1],[1,1,2,1],[4,1,3,-1,4,-1,2,-1,3,1,2,-1,4,-2]],[[1,1,2,1],[2,-2,3,2,1,-1,2,
-1,3,-1]]],[[[1,1,2,1],[3,1,2,1,1,-1,2,-1,3,-2,2,-1,1,1]],[[2,-2,1,-1,2,1,1,
-1,2,1]]],[[[2,1]]],[[[2,1,1,-1,2,1,1,-1,2,-2,1,1,2,1]],[[1,1,2,1],[3,2,2,1,1,
-1,2,-1,1,-1]]],[[[1,1,2,1],[3,4]]],[[[1,-1],[3,1,2,1,3,1,2,1,1,-1,2,1]],[[1,
1,2,-2],[3,1,1,-1,3,-1]]],[[[1,1,2,1],[3,2,1,-1,2,-1,3,-1]],[[2,-2]]],[[[1,1,
2,-1]]],[[[1,-1],[1,1,2,1],[4,1,3,1,2,1,3,1,2,-1,4,-1]],[[1,1,2,1],[3,3,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,3,1,2,1,3,1,1,
-1,3,1]],[[1,1,2,1],[2,1,1,-1,2,-1,3,-1,2,1,3,2]],[[1,-1],[1,1,2,1],[4,1,3,1,
2,1,3,1,2,-1,4,-1]]],[[[1,-1,2,1,1,1,2,1,1,-1,2,-1]],[[1,1,2,1],[2,-2,3,
2]]],[[[1,-1],[3,1,2,1,1,1,2,-2,1,-1,2,-1,3,-1]],[[1,1,2,-1,1,1,2,-1,1,1,2,
-1]]],[[[2,1,1,-1,2,1,1,-1,2,-2,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,-2,1,1,2,1]],[[1,1,2,1],[3,2,1,-1,2,1,1,-1,2,-1]]],[[[2,
-2,1,-1,2,1,1,-1,2,1]],[[1,1,2,1,1,-1,2,-1,1,1]]],[[[1,1,2,1]]],[[[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,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,1,1,2,-1]]],[[[1,1,2,-2,
1,-1,2,-2]]],[[[1,1,2,1],[2,-2,1,1,3,1,2,1,3,1,1,-1,3,1]],[[1,1,2,1],[3,3,2,1,
1,-1]],[[1,-1],[1,1,2,1],[4,1,3,1,2,1,3,1,2,-1,4,-1]],[[1,1,2,1],[2,1,1,-1,2,
-1,3,-1,2,1,3,2]]],[[[2,1,1,-1,2,1,1,-1,2,-2,1,1,2,1]],[[1,-1],[3,1,2,-1,1,1,
2,1,3,1,2,1,1,1]],[[1,1,2,1],[3,3,2,1,1,-1]]],[[[1,-1],[1,1,2,1],[4,1,3,1,2,1,
3,1,2,-1,4,-1]],[[1,1,2,1],[2,-2,3,1,1,-1,3,-1,2,-1]]],[[[2,1,1,1,2,1],[3,2,1,
1]]],[[[1,-1],[1,1,2,1],[3,1,2,1,4,2,2,1,3,-1]],[[2,-2,1,1,2,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]],[[2,-2,1,-1,2,-1,1,-1]]],[[[
1,-1],[3,1,2,1,1,1,2,-2,1,-1,2,-1,3,1]],[[1,-1,2,-1,1,1,2,-2,1,-1]]],[[[1,
-1],[3,1,2,1,1,1,2,-2,1,-1,2,-1,3,1]],[[1,-1],[3,1,2,-1,3,-1,1,1,2,1]]],[[[1,
-1],[3,1,2,1,1,1,2,-2,1,-1,2,-1,3,1]],[[1,1,2,1],[3,1,2,1,3,1]]],[[[1,-1],[1,
1,2,1],[3,1,2,1,4,2,2,1,3,-1]],[[2,1,1,-1,2,1,1,-1,2,-2,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,3,3]],[[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,2,1,1,1]],[[2,1,1,1,2,-2,
1,-1,2,-1]]],[[[1,-1],[1,1,2,1],[4,1,2,1,3,1,2,-1,3,-1,4,-1]],[[1,-1,2,-2,1,
-1,2,1,1,1,2,-1]]],[[[1,-1,2,1,1,1],[3,2]],[[1,-1,2,1,1,1,2,-2,1,-1,2,
-2]]],[[[1,-1],[3,1,2,-1,1,1,2,-1,3,1,2,1,1,1,2,1]],[[2,1,1,1,2,1,1,-1,2,
-1]]],[[[1,1,2,1],[3,3,2,1,1,-1]],[[2,1,1,1,2,-1,1,-1,2,-2,1,-1]]],[[[1,-1,2,
1,1,1,2,-2,1,1]],[[2,1,1,1,2,-2,1,-1,2,-1]]],[[[1,-1,2,-2,1,1,2,1],[3,5]],[[2,
1,1,-1,2,-2,1,1,2,1,1,-1],[3,3]]],[[[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,-2,1,-1]]],[[[2,1,1,1,2,1,1,-1]],[[2,1,1,-1,2,-1,1,
1]]],[[[2,1,1,1],[2,1,3,2]],[[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]]],[[[1,1]],[[2,1]]]]);



LIBTOM( "L2(16).4",
[[1],[1,2],[1,3],[1,4],[1,3,5],[1,3,6],[1,2,3,7],[1,3,8],[1,2,9],[1,10],[1,2,
4,11],[1,2,4,12],[1,3,4,13],[1,2,3,5,7,14],[1,3,5,8,15],[1,3,5,6,16],[1,2,3,7,
9,17],[1,3,8,18],[1,2,3,6,7,8,19],[1,2,10,20],[1,3,10,21],[1,2,10,22],[1,3,4,
5,23],[1,2,4,9,12,24],[1,2,3,4,7,11,12,13,25],[1,2,4,9,12,26],[1,4,10,27],[1,
3,5,6,16,28],[1,3,5,6,8,15,16,29],[1,2,3,5,6,7,8,14,15,16,19,30],[1,3,5,8,15,
18,31],[1,2,3,5,7,9,14,17,32],[1,33],[1,2,9,10,20,34],[1,2,3,7,10,20,21,22,
35],[1,2,9,10,20,36],[1,2,3,4,5,7,12,14,23,37],[1,2,3,4,7,9,11,12,13,17,24,25,
26,38],[1,3,4,10,13,21,27,39],[1,2,4,10,11,22,27,40],[1,2,4,10,12,20,27,41],[
1,2,3,5,6,7,8,14,15,16,19,28,29,30,42],[1,2,3,5,6,7,8,14,15,16,18,19,30,31,
43],[1,2,3,5,6,7,8,9,14,15,16,17,19,30,32,44],[1,3,33,45],[1,2,3,7,9,10,17,20,
21,22,34,35,36,46],[1,3,4,5,6,16,23,28,47],[1,2,3,4,5,7,9,12,14,17,23,24,32,
37,48],[1,3,4,5,10,13,21,23,49],[1,2,4,9,10,12,20,24,27,36,41,50],[1,2,4,9,10,
12,20,26,27,34,41,51],[1,2,3,4,7,10,11,12,13,20,21,22,25,27,35,39,40,41,52],[
1,2,3,5,6,7,8,9,14,15,16,17,18,19,28,29,30,31,32,42,43,44,53],[1,3,8,33,45,
54],[1,3,5,6,10,16,28,55],[1,2,3,4,5,6,7,8,12,14,15,16,19,23,28,29,30,37,42,
47,56],[1,2,3,4,5,7,10,11,12,13,14,20,21,22,23,25,35,37,49,57],[1,2,3,4,7,9,
10,11,12,13,17,20,21,22,24,25,26,27,34,35,36,38,39,40,41,46,50,51,52,58],[1,3,
8,18,33,45,54,59],[1,2,3,5,6,7,8,10,14,15,16,19,20,28,29,30,42,55,60],[1,2,3,
4,5,6,7,8,9,12,14,15,16,17,18,19,23,24,28,29,30,31,32,37,42,43,44,47,48,53,56,
61],[1,3,4,5,6,10,16,23,27,28,47,55,62],[1,2,3,4,5,7,9,10,11,12,13,14,17,20,
21,22,23,24,25,26,32,34,35,36,37,38,46,48,49,57,63],[1,2,3,5,6,7,8,9,10,14,15,
16,17,18,19,20,28,29,30,31,32,36,42,43,44,53,55,60,64],[1,2,3,4,5,6,7,8,10,12,
14,15,16,19,20,23,27,28,29,30,37,41,42,47,55,56,60,62,65],[1,2,3,4,5,6,7,8,9,
10,12,14,15,16,17,18,19,20,23,24,27,28,29,30,31,32,36,37,41,42,43,44,47,48,50,
53,55,56,60,61,62,64,65,66],[1,3,4,5,6,10,13,16,21,23,27,28,33,39,45,47,49,55,
62,67],[1,2,3,4,5,6,7,8,10,11,12,13,14,15,16,19,20,21,22,23,25,27,28,29,30,33,
35,37,39,40,41,42,45,47,49,52,54,55,56,57,60,62,65,67,68],[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,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,
62,63,64,65,66,67,68,69]],
0,[[1],[1,1],[1,1],[1,1],[1,3,1],[1,3,1],[1,2,1,1],[1,1,1],[1,1,1],[1,1],[1,3,
1,1],[1,1,1,1],[1,3,1,1],[1,4,3,1,6,1],[1,3,1,2,1],[1,7,1,6,1],[1,2,1,1,2,1],[
1,1,1,1],[1,2,3,1,1,1,1],[1,5,1,1],[1,5,1,1],[1,1,1,1],[1,3,4,1,1],[1,1,1,3,1,
1],[1,4,3,1,3,1,1,1,1],[1,1,1,1,1,1],[1,1,1,1],[1,15,5,30,15,1],[1,7,1,6,4,2,
1,1],[1,4,7,1,6,6,2,1,1,1,4,1],[1,3,1,2,1,2,1],[1,4,3,1,6,4,1,2,1],[1,1],[1,5,
5,1,1,1],[1,6,5,5,1,1,1,1,1],[1,5,5,1,1,1],[1,4,3,4,1,6,4,1,1,1],[1,4,3,1,3,4,