tmlin2mx.tom

GAP源码

#############################################################################
##
#W  tmlin2mx.tom         GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmlin2mx.tom,v 4.2 2001/07/05 07:01:59 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks of maximal subgroups of $L2(??)$.
##
#H  tomlib history
#H  --------------
#H  $Log: tmlin2mx.tom,v $
#H  Revision 4.2  2001/07/05 07:01:59  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/tmlin2mx.tom,v
#H  Working file: tmlin2mx.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 11:51:37;  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:03:02;  author: gap;  state: Exp;
#H  added new table of marks library file
#H  ==========================================================================
#H
Revision.tmlin2mx_tom :=
    "@(#)$Id: tmlin2mx.tom,v 4.2 2001/07/05 07:01:59 gap Exp $";

SetActualLibFileName("tmlin2mx");
LIBTOM( "109:54",
[[1],[1,2],[1,3],[1,2,3,4],[1,3,5],[1,2,3,4,5,6],[1,3,5,7],[1,2,3,4,5,6,7,8],[
1,9],[1,2,9,10],[1,3,9,11],[1,2,3,4,9,10,11,12],[1,3,5,9,11,13],[1,2,3,4,5,6,
9,10,11,12,13,14],[1,3,5,7,9,11,13,15],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
16]],
0,
[[1],[1,1],[1,1],[1,1,1,1],[1,1,1],[1,1,1,1,1,1],[1,1,1,1],[1,1,1,1,1,1,1,1],[
1,1],[1,109,1,1],[1,109,1,1],[1,109,109,109,1,1,1,1],[1,109,109,1,1,1],[1,109,
109,109,109,109,1,1,1,1,1,1],[1,109,109,109,1,1,1,1],[1,109,109,109,109,109,
109,109,1,1,1,1,1,1,1,1]],
[1,2,3,6,9,18,27,54,109,218,327,654,981,1962,2943,5886],
[16,8,8,8,8,8,8,8,16,16,16,16,16,16,16,16],
[1,1,1,1,1,1,1,1,1,9,9,9,9,9,9,9],
[(  1, 44, 90,109,110,  6, 17, 82, 57,102, 24, 98, 36, 14, 93, 94,  8, 46)
(  2, 96, 38, 52, 85, 15, 72, 69, 91, 86,103, 88, 84,  3, 20, 77,108, 99)
(  4, 23, 31, 47, 55, 74, 33, 62, 81,104, 60, 87, 39, 65, 32, 48, 12, 26)
(  5, 67, 64, 75, 22, 71, 63, 56, 68, 45, 34, 16, 35, 50, 78, 25,  7, 49)
(  9, 18,106, 61, 37, 40, 73, 30, 66, 83, 53,105, 89, 92, 21, 58, 42, 95)
( 10, 19, 70,101, 97, 29, 43, 28, 80, 79, 76, 41, 51, 54, 27, 13,107, 11),
(  1, 30, 57, 75,109, 28,  5,  7, 82, 44, 88, 99, 65, 26, 85, 42, 52, 36, 98,
  16, 18, 53, 47,103, 62, 89, 11, 63,102, 12, 80, 29, 19, 55,105, 91, 33, 79,
 104, 43, 17, 66, 92, 56,  9,101,  4, 87, 32, 13, 72, 39, 69, 77)
(  2,100, 94, 20, 61, 81,107, 24, 31, 49,  3, 71, 41, 78,  8, 83, 64, 10, 15,
  67, 84, 48, 27, 95, 46, 58, 51, 90, 97,106, 60, 37, 73, 14, 76, 70, 21, 22,
  93, 23, 35, 38, 86, 50, 68, 54, 96, 74, 25,  6, 45, 34, 40,110)],
[[[[]]],[[[1,1,2,1],[3,1,2,1,3,1]]],[[[2,2,1,-1,2,1]]],[[[1,3]]],[[[1,
-4]]],[[[2,3]]],[[[1,2],[3,2,2,1,1,1]]],[[[1,1,2,2,1,2]]],[[[2,1,1,2,2,-1,1,
-2]]],[[[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]],[[2,1,1,-1,2,2]]],[[[2,1,1,-1,2,-1,1,1]],[[1,-3]]],[[[2,1,1,1,2,-1,1,
-1]],[[1,2]]],[[[2,3]],[[1,1]]],[[[2,1,1,1]],[[2,2]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "(5x11).2",
[[1],[1,2],[1,3],[1,2,3,4],[1,5],[1,2,5,6],[1,3,5,7],[1,2,3,4,5,6,7,8]],
0,
[[1],[1,1],[1,1],[1,5,1,1],[1,1],[1,11,1,1],[1,1,1,1],[1,55,1,11,1,5,1,1]],
[1,2,5,10,11,22,55,110],
[8,2,8,4,8,6,8,8],
[1,1,1,3,1,5,1,7],
[(  1, 48)(  3, 12)(  4, 67)(  5, 15)(  6, 31)(  7, 51)(  8,101)(  9, 40)
( 10,106)( 11, 68)( 13, 73)( 14, 83)( 16, 62)( 17, 87)( 18, 90)( 19, 39)
( 20, 22)( 21, 77)( 23, 65)( 24, 41)( 25, 64)( 26, 58)( 27, 95)( 28, 46)
( 30, 99)( 32,102)( 33,103)( 34, 74)( 35, 36)( 37, 88)( 38, 55)( 42, 79)
( 43, 50)( 44, 82)( 45, 98)( 47,108)( 49, 59)( 52, 69)( 53, 94)( 54, 93)
( 56, 97)( 57, 85)( 60, 84)( 61,100)( 63, 80)( 66, 81)( 70,107)( 71,109)
( 72, 89)( 75, 86)( 76,110)( 78, 91)( 92, 96)(104,105),(  1, 33, 53,  3, 70,
  27, 90,  2, 18, 95,107, 12, 94,103, 48, 63, 30, 40, 82, 15, 68, 64, 36, 21,
  62, 69, 78, 57, 73, 72, 97, 71, 28, 76, 24, 41,110, 46,109, 56, 89, 13, 85,
  91, 52, 16, 77, 35, 25, 11,  5, 44,  9, 99, 80)(  4, 32, 74, 34,102, 67, 88,
 17, 61, 96, 93,101,108, 51, 81, 26, 65,106, 31, 59,105, 45, 86, 60, 43, 42,
  83, 39, 22, 38, 29, 55, 20, 19, 14, 79, 50, 84, 75, 98,104, 49,  6, 10, 23,
  58, 66,  7, 47,  8, 54, 92,100, 87, 37)],
[[[[]]],[[[1,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,1,1,5,-1,3,1,4,1,5,-1,2,-1,
3,1,4,1,2,-1]]],[[[2,1,1,1],[2,2],[4,1,3,1,1,1,2,1,4,1,2,1,3,1]],[[1,1,2,
3]]],[[[2,2,1,1,2,-3,1,1]]],[[[1,1,2,3]],[[2,2,1,1]]],[[[2,2],[3,2,2,3]]],[[[
1,1]],[[2,1]]]]);


LIBTOM( "27:2^2",
[[1],[1,2],[1,3],[1,4],[1,5],[1,2,3,4,6],[1,2,5,7],[1,3,5,8],[1,4,5,9],[1,5,
10],[1,2,3,4,5,6,7,8,9,11],[1,2,5,7,10,12],[1,3,5,8,10,13],[1,4,5,9,10,14],[1,
5,10,15],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,16],[1,2,5,7,10,12,15,17],[1,3,5,8,
10,13,15,18],[1,4,5,9,10,14,15,19],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
18,19,20]],
0,
[[1],[1,1],[1,1],[1,1],[1,1],[1,1,1,1,1],[1,3,1,1],[1,3,1,1],[1,1,1,1],[1,1,
1],[1,3,3,1,1,3,1,1,1,1],[1,9,1,3,1,1],[1,9,1,3,1,1],[1,1,1,1,1,1],[1,1,1,1],[
1,9,9,1,1,9,3,3,1,1,3,1,1,1,1],[1,27,1,9,1,3,1,1],[1,27,1,9,1,3,1,1],[1,1,1,1,
1,1,1,1],[1,27,27,1,1,27,9,9,1,1,9,3,3,1,1,3,1,1,1,1]],
[1,2,2,2,3,4,6,6,6,9,12,18,18,18,27,36,54,54,54,108],
[20,6,6,20,20,6,11,11,20,20,11,16,16,20,20,16,20,20,20,20],
[1,1,1,1,1,1,5,5,1,1,5,10,10,1,1,10,15,15,1,15],
[(  1, 71)(  3, 35)(  4, 40)(  5,105)(  6, 36)(  7, 50)(  8, 66)(  9,106)
( 10, 74)( 11,102)( 12, 49)( 13, 42)( 14, 43)( 15, 23)( 16, 25)( 17,103)
( 18, 47)( 19, 75)( 21, 30)( 22, 99)( 24, 51)( 26, 94)( 27, 63)( 28, 83)
( 29, 31)( 32, 96)( 33, 90)( 34,104)( 37, 45)( 38, 76)( 39, 62)( 41, 58)
( 44, 46)( 48, 87)( 52,101)( 53, 70)( 54, 73)( 55, 77)( 56, 86)( 57, 81)
( 59, 72)( 60, 65)( 61, 98)( 64, 95)( 67, 78)( 68, 93)( 69,108)( 79, 84)
( 80,110)( 82, 89)( 85, 92)( 88,107)( 91,100)( 97,109),(  1, 61, 97,103, 17,
 109, 98, 71, 84, 25, 83, 87, 58, 68, 74,110, 51, 56, 15, 43, 88,  5, 66, 34,
  94,  6, 90, 53, 65, 99, 57, 81, 22, 60, 70, 33, 36, 26,104,  8,105,107, 14,
  23, 86, 24, 80, 10, 93, 41, 48, 28, 16, 79)(  2,108,  7, 82, 54, 72,101, 13,
 76, 27, 75, 11,  4, 35, 47, 62, 31, 32, 21, 55, 44, 49, 37,106, 92, 64, 91,
  20,100, 95, 85,  9, 45, 12, 46, 77, 30, 96, 29, 39, 18,  3, 40,102, 19, 63,
  38, 42, 52, 59, 73, 89, 50, 69)],
[[[[]]],[[[1,1,2,1]]],[[[1,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[2,1,4,1],[3,1,5,
1],[4,1,7,1],[8,1,5,1,4,1,3,1,6,1,3,1,1,1,8,-1,5,-1,2,-1,3,1,6,1,7,1,6,1,3,
1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[2,1,4,1],[5,1,6,1,3,1,6,1,3,1,2,1,5,1,4,1,3,
1,5,1,1,1,3,1,4,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,1],[3,1,5,1],[5,1,3,1,2,
3,4,1,6,1,3,1,1,1,6,1]],[[1,1,2,1],[2,1,1,1],[2,2],[3,1,5,1],[6,1,2,1,4,1,3,1,
2,1,5,1,4,1,6,1]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,1],[5,1,3,1,2,3,4,1,3,1,5,1,3,
1,1,1,3,1,4,1]],[[2,2],[1,1,2,1,3,2]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,5,1],[
3,1,4,1,3,1,1,1,6,1,4,1,5,-1,2,-1,3,1,4,1,2,-1,6,1,5,1]],[[1,1]]],[[[1,1,2,
1],[2,2,1,1],[4,1,3,1,2,3,4,1,3,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,4,1,5,
-1,3,1,4,1,5,-1,2,-1,3,1,4,1,2,-1]]],[[[2,1,1,1],[2,2],[2,1,3,1,1,1,2,2,4,2,3,
1]],[[1,1]]],[[[2,2],[3,1,2,2,3,1]],[[2,1,1,1]]],[[[2,2],[3,1,2,2,3,1]],[[1,
1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,2,1],[2,1,4,1],[6,1,5,1,4,1,3,1,7,1,3,1,
4,1,3,1,1,1,5,-1,3,1,4,1,5,-1,6,1,7,1]]],[[[2,2]]],[[[2,3]],[[1,1]]],[[[1,1,2,
1]],[[2,2]]],[[[2,2]],[[1,1]]],[[[1,1,2,1],[2,1,1,1],[2,2],[3,1,4,1],[2,1,4,1,
3,1,2,1,5,1,4,1,3,1,5,1],[6,1,7,-1,6,1,3,1,1,1,7,-1]]],[[[1,1]],[[2,1]]]]);


LIBTOM( "113:56",
[[1],[1,2],[1,2,3],[1,4],[1,2,3,5],[1,2,4,6],[1,2,3,4,6,7],[1,2,3,4,5,6,7,8],[
1,9],[1,2,9,10],[1,2,3,9,10,11],[1,4,9,12],[1,2,3,5,9,10,11,13],[1,2,4,6,9,10,
12,14],[1,2,3,4,6,7,9,10,11,12,14,15],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
16]],
0,
[[1],[1,1],[1,1,1],[1,1],[1,1,1,1],[1,1,1,1],[1,1,1,1,1,1],[1,1,1,1,1,1,1,1],[
1,1],[1,113,1,1],[1,113,113,1,1,1],[1,113,1,1],[1,113,113,113,1,1,1,1],[1,113,
113,113,1,1,1,1],[1,113,113,113,113,113,1,1,1,1,1,1],[1,113,113,113,113,113,
113,113,1,1,1,1,1,1,1,1]],
[1,2,4,7,8,14,28,56,113,226,452,791,904,1582,3164,6328],
[16,8,8,8,8,8,8,8,16,16,16,16,16,16,16,16],
[1,1,1,1,1,1,1,1,1,9,9,9,9,9,9,9],
[(  1, 56, 33, 96, 91, 88, 24,106)(  2, 87, 27,  4, 66, 75, 11, 92)
(  3, 86,  5, 71, 72, 35, 78, 85)(  6, 32,  9, 60, 97,114,111, 43)
(  7, 25,100, 26,109, 46, 93, 48)(  8, 19, 95, 58, 17, 51, 40, 81)
( 12,112, 16, 54,101, 41, 14, 15)( 13, 36, 42,102, 62, 63, 30, 67)
( 18, 89,113,108, 29, 34, 22, 37)( 20, 64, 61, 90, 65, 82, 39, 76)
( 23,105, 45, 69, 55,110, 49, 47)( 28, 98, 68,103, 94,107, 59, 73)
( 31, 79, 38, 70, 74, 57,104, 53)( 44, 99, 83, 52, 77, 50, 84, 80),
(  1, 93, 82,104, 51, 58, 64,  8, 98, 47, 16, 23, 77, 53)(  2, 87, 78, 26, 13,
 42,100, 73, 80, 72, 14, 18, 50,102)(  3, 81, 85, 27, 56, 38,103, 45, 17, 20,
  89, 61, 35, 57)(  4, 36,110,111, 68, 46, 40, 22,105, 49, 41, 60, 86, 69)
(  5,113, 88, 54, 67, 55, 48, 83, 70,  9, 92, 33, 44, 66)(  6, 96, 84, 94,101,
 12, 39, 91, 31, 76, 71, 59, 97, 11)(  7, 32, 95, 43, 25,109,107, 65, 74, 29,
  28, 15, 90, 30)( 10, 79,112, 34, 63, 75,108,114, 19, 37, 99,106, 24, 62)],
[[[[]]],[[[1,-4]]],[[[1,2]]],[[[1,1,2,-1,1,3]]],[[[1,-1]]],[[[2,3]]],[[[1,-2,
2,-1]]],[[[2,2,1,-3]]],[[[1,1,2,1,1,-1,2,-1]]],[[[1,-4]],[[1,-1,2,1,1,1,2,
-1]]],[[[1,1,2,1,1,1,2,-1]],[[1,2]]],[[[1,1,2,-1,1,-1,2,-1]],[[2,2]]],[[[2,1,