tmunit.tom

GAP源码

#############################################################################
##
#W  tmunit.tom           GAP table of marks library           Thomas Merkwitz
##
#H  @(#)$Id: tmunit.tom,v 4.2 2001/07/05 07:20:54 gap Exp $
##
#Y  Copyright (C)  1997,  Lehrstuhl D fuer Mathematik,  RWTH Aachen,  Germany
##
##  This file contains the tables of marks unitary groups.
##
#H  tomlib history
#H  --------------
#H  $Log: tmunit.tom,v $
#H  Revision 4.2  2001/07/05 07:20:54  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/tmunit.tom,v
#H  Working file: tmunit.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:38:52;  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:25:00;  author: gap;  state: Exp;
#H  added new table of marks library files
#H  ==========================================================================
#H
Revision.tmunit_tom :=
    "@(#)$Id: tmunit.tom,v 4.2 2001/07/05 07:20:54 gap Exp $";

SetActualLibFileName("tmunit");
LIBTOM( "U3(3)",
[[1],[1,2],[1,3],[1,4],[1,2,5],[1,2,6],[1,2,7],[1,2,3,8],[1,2,4,9],[1,10],[1,
2,7,11],[1,2,5,7,12],[1,2,5,6,7,13],[1,2,6,14],[1,3,4,15],[1,2,4,5,16],[1,2,3,
6,8,17],[1,2,5,6,7,13,18],[1,2,5,6,7,11,12,13,19],[1,2,5,6,7,13,14,20],[1,2,3,
4,8,9,15,21],[1,4,10,22],[1,2,3,7,8,11,23],[1,2,4,5,7,9,12,16,24],[1,2,3,6,8,
14,17,25],[1,3,4,15,26],[1,2,5,6,7,11,12,13,14,18,19,20,27],[1,2,3,5,6,7,8,11,
12,13,17,19,23,28],[1,2,4,5,6,7,13,16,18,29],[1,2,3,4,8,9,15,21,26,30],[1,2,3,
5,6,7,8,11,12,13,14,17,18,19,20,23,25,27,28,31],[1,2,4,5,6,7,9,11,12,13,14,16,
18,19,20,24,27,29,32],[1,2,3,4,6,8,9,15,17,21,26,30,33],[1,2,4,5,7,9,10,12,16,
22,24,34],[1,2,3,4,6,8,9,14,15,17,21,25,26,30,33,35],[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]],
0,
[[1],[1,1],[1,1],[1,1],[1,3,1],[1,1,1],[1,1,1],[1,1,1,1],[1,3,1,1],[1,1],[1,1,
3,1],[1,5,2,1,1],[1,3,1,1,1,1],[1,1,1,1],[1,1,3,1],[1,3,4,1,1],[1,1,1,1,1,1],[
1,3,1,3,3,3,1],[1,7,3,1,3,1,3,3,1],[1,3,1,1,1,1,2,1],[1,3,1,3,3,1,1,1],[1,7,1,
1],[1,1,4,3,4,1,1],[1,9,4,4,3,4,3,1,1],[1,1,1,1,1,3,1,1],[1,1,12,4,1],[1,7,3,
3,5,1,3,5,2,1,1,1,1],[1,7,4,3,1,3,4,1,3,3,4,1,1,1],[1,3,16,1,3,3,3,4,1,1],[1,
9,1,12,9,12,4,12,1,1],[1,7,4,3,7,9,4,1,3,9,6,4,3,1,3,1,4,3,1,1],[1,15,16,7,3,
9,16,3,9,9,6,4,1,3,3,4,3,1,1],[1,9,1,12,9,9,12,4,9,12,1,1,1],[1,21,28,14,21,
28,8,21,14,8,14,1],[1,9,1,12,9,9,12,27,4,9,12,9,1,1,1,1],[1,63,28,336,63,63,
189,252,336,288,63,189,189,378,112,252,252,63,63,189,336,288,63,252,252,28,
189,63,63,28,63,63,28,36,28,1]],
[1,2,3,3,4,4,4,6,6,7,8,8,8,8,9,12,12,16,16,16,18,21,24,24,24,27,32,48,48,54,
96,96,108,168,216,6048],
[36,31,35,21,32,31,27,25,21,22,31,27,27,20,30,24,25,32,31,27,21,22,31,24,25,
35,27,31,32,35,31,32,35,34,35,36],
[1,1,1,1,1,1,1,1,4,1,2,2,1,1,1,5,1,1,2,2,4,10,11,16,3,3,7,11,18,26,23,29,26,
34,26,36],
[( 2,17)( 3,27)( 4, 7)( 5,24)( 6,13)( 8,11)( 9,22)(10,21)(12,14)(16,20)(18,19)
(25,26),( 1, 3, 8,17,18, 5)( 2,25, 9,28,23, 7)( 4,10,22)(11,12,26,24,27,15)
(13,19,16,21,20,14)],
[[[[]]],[[[1,1,2,1],[2,1,1,1],[3,1,2,1,3,1,4,-2,3,-1]]],[[[1,1,2,-1],[3,1,1,1,
2,-2,1,1,3,-1]]],[[[1,1,2,1],[2,2,1,1,3,3,2,1]]],[[[1,1,2,1],[3,2,2,1,1,1,2,
-1,3,-2]],[[2,1,1,1,2,-1]]],[[[1,1,2,1],[2,1,3,1,2,1,1,1,2,2,3,1]]],[[[1,1,2,
1],[3,1,2,1,3,2,2,1,1,1,2,-1]]],[[[1,1,2,1],[2,1,3,1],[3,1,4,1,1,1,2,-1,4,
-1]]],[[[1,1,2,1],[2,1,1,1],[3,1,2,1,3,1,4,-2,3,-1]],[[2,1,1,1,2,-3,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],[2,1,3,1,2,1,
1,1,3,-1,2,2,1,1]],[[1,1,2,1],[3,1,2,1,3,2,2,1,1,1,2,-1]]],[[[2,1,1,1,2,1],[2,
1,1,1,3,-2]],[[2,1,1,1],[1,1,2,1,3,-1,2,-1,3,1]]],[[[1,1,2,1],[3,1,2,1,3,2,2,
1,1,1,2,-1]],[[1,1,2,1],[2,2],[4,1,3,1,4,1,3,1]]],[[[1,1,2,1],[1,1,2,-1,3,1,2,
1,3,2]]],[[[1,1,2,1],[2,1,1,1,2,2,3,2,2,1]],[[1,1,2,-1],[3,1,1,1,2,-2,1,1,3,
-1]]],[[[1,1,2,1],[3,1,1,1,2,-1,1,1,2,-1,3,1]],[[1,1,2,1],[2,2],[4,1,3,1,4,1,
3,1]]],[[[1,1,2,1],[3,2,2,1,1,1,2,-1]]],[[[1,1,2,1],[3,1,2,1,3,2,2,1,1,1,2,
-1]],[[2,2,1,1,2,1]]],[[[1,1,2,1],[2,1,3,1,2,1,1,1,3,-1,2,2,1,1]],[[1,1,2,1],[
2,2],[4,1,3,1,4,1,3,1]],[[1,1,2,1],[2,1,1,1,2,-1,3,-2,2,-1,3,-1]]],[[[2,1,1,
1],[1,1,2,-2,3,-1,1,1,2,1,3,2]],[[2,1,1,1],[3,1,2,2,3,-1,2,-1,1,1,2,-1]]],[[[
2,2,1,1,2,-1,1,1,2,-2,1,1,2,1]],[[1,1]]],[[[1,1,2,1],[2,1,1,1],[2,1,4,1,3,2,4,
2]],[[1,1,2,1],[2,1,3,1],[3,1,4,2,1,1,2,-1]]],[[[1,1,2,1],[3,1,1,1,2,-1,3,
-2]],[[2,1,1,1,2,-2,1,1,2,-1]]],[[[2,1,1,1],[3,1,1,1,2,1,3,-1,2,-1]],[[2,1,1,
1],[1,1,2,1,3,-1,2,-1,3,1]],[[2,-1,1,1,2,1]]],[[[1,1,2,-1],[3,1,1,1,2,-1,3,1,
2,-1,1,1,2,1]],[[1,1,2,1],[3,2,2,1,1,1,2,-1]]],[[[1,1,2,1],[3,1,2,1,3,1,2,2,3,
1]],[[1,1,2,1],[3,2,1,1,2,-1,1,1,2,-1]]],[[[1,1,2,1],[1,1,2,-1,3,1,2,1,3,
2]],[[1,1]]],[[[2,1,1,1,2,-2,1,1,2,-1]],[[1,1]]],[[[1,1,2,1],[2,1,1,1,2,-1,3,
2,2,1]],[[2,2,1,1,2,1]]],[[[1,1,2,1],[3,1,2,1,3,1,2,2,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,3,1,2,1,3,2]],[[1,1,2,1],[3,
2,2,1,1,1,2,-1]],[[1,1]]],[[[1,1,2,-2,1,1,2,-1,1,1,2,-3]],[[2,1,1,1,2,2,1,1,2,
-2]]],[[[1,1,2,1],[2,1,1,1,2,-1],[4,1,3,1,4,1,3,1]],[[2,1,1,1,2,1,1,1,2,-1,1,
1,2,-1]]],[[[2,-3]],[[1,1,2,1,1,1,2,-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]],[[2,1]]]]);ACLT( "U3(3)",
"sortperm",( 3, 4)( 5, 8,10)(11,15)(12,16,18,21,19,23,26,20,22)(13,14)(24,25)
(27,28,30)(31,32,33)(34,35));




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