Quelle  ctbtwis1.tbl   Sprache: unbekannt

#############################################################################
##
#W  ctbtwis1.tbl                GAP table library               Thomas Breuer
##
##  This file contains the Brauer character tables related to the twisted
##  groups $^2F_4(2)$ and $^3D_4(2)$ of the ATLAS
##  (see file 'ctotwis1.tbl'), modulo all prime divisors of the group order.
##
#H  ctbllib history
#H  ---------------
#H  $Log: ctbtwis1.tbl,v $
#H  Revision 4.4  2011/09/28 12:12:37  gap
#H  removed Revision entries and SET_TABLEFILENAME calls
#H      TB
#H
#H  Revision 4.3  2001/05/04 16:46:25  gap
#H  first revision for ctbllib
#H
#H
#H  tbl history (GAP 4)
#H  -------------------
#H  (Rev. 4.3 of ctbllib coincides with Rev. 4.2 of tbl in GAP 4)
#H  
#H  RCS file: /gap/CVS/GAP/4.0/tbl/ctbtwis1.tbl,v
#H  Working file: ctbtwis1.tbl
#H  head: 4.2
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H   GAP4R2: 4.2.0.8
#H   GAP4R2PRE2: 4.2.0.6
#H   GAP4R2PRE1: 4.2.0.4
#H   GAP4R1: 4.2.0.2
#H  keyword substitution: kv
#H  total revisions: 3; selected revisions: 3
#H  description:
#H  ----------------------------
#H  revision 4.2
#H  date: 1999/07/14 11:39:37;  author: gap;  state: Exp;  lines: +4 -3
#H  cosmetic changes for the release ...
#H  
#H      TB
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/07/17 15:36:13;  author: fceller;  state: Exp;  lines: +2 -2
#H  for version 4
#H  ----------------------------
#H  revision 1.1
#H  date: 1996/10/21 15:58:46;  author: sam;  state: Exp;
#H  first proposal of the table library
#H  ==========================================================================
##

TEXT1:= "origin: modular ATLAS of finite groups, tests: DEC, TENS";

MBT("2F4(2)'.2",13,
TEXT1,
[1,1,2,1,1,1,1,3,4,1,1,5,6,7,8,9,10,11,12,13,14,15,1,1,16,17,1,1],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,9],[2,10],[3,11],[4,12],[5,12],[6,11],[7,11],[8,12],[9,13],[10,13],[11,
13],[12,13]]],
[],
0,
[(10,11)(15,16)(17,18)(23,24)(25,26)(27,28)],
0);

MBT("2F4(2)'.2",2,
TEXT1,
[1,1,1,2],
[12,0],
[[1,4,10]],
[],
[[[1,0,0],[-1,1,0],[0,-2,1]]],
0,
[],
[1,1,1,1],
rec(version:=2));

MBT("2F4(2)'.2",3,
TEXT1,
[1,1,1,2,3,4,5,1,1,1,6,7,8,9,10,11,1,1,12,13,14,1,15,16],
[3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[[1,2,3,8,9,10,20,21,26]],
[],
[[[1,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,0,0],[-1,0,0,1,0,0,0,
0,0],[0,-1,0,0,1,0,0,0,0],[0,0,-1,0,0,1,0,0,0],[0,0,0,-1,0,0,0,1,0],[0,0,-2,1,
0,0,1,-1,0],[1,1,1,-1,-1,-1,0,0,1]]],
0,
[( 8, 9)(13,14)(15,16)(21,22)(23,24)],
0);

MBT("2F4(2)'.2",5,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,2,3,4,5,1,1,1,1,1,1,6,7,8,9,10],
[2,0,0,0,0,0,0,0,0,0],
[[1,2,3,4,5,6,7,8,9,14,16,17,18,19,20,25]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1,
0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,
0,0,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,1,0,0,0,0,0,0,
0,0,0],[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0],[
-1,0,0,-1,0,-1,0,-1,0,1,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],[0,0,0,
0,0,0,0,0,0,0,0,1,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0],[0,0,0,0,0,0,0,0,
0,0,0,0,0,1,0,0],[0,-1,0,0,-1,0,-1,1,0,-1,0,0,0,0,1,0],[1,0,0,1,0,1,0,1,0,-1,
0,0,0,0,0,1]]],
0,
[(22,23),( 9,10)(14,15)(16,17)(24,25)],
0);

MBT("2F4(2)'",13,
TEXT1,
[1,2,3,1,1,4,1,5,6,7,8,9,10,11,1,12,13,14,15,1],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,5],[2,6],[3,6],[4,6],[5,7,8],[6,7,8]]],
[],
0,
[(17,19)(18,20),(15,16),(12,13),(10,11)(17,18)(19,20)],
0);

MBT("2F4(2)'",2,
TEXT1,
[1,1,1,2,3],
[11,0,0],
[[1,2,7]],
[],
[[[1,0,0],[0,1,0],[-2,-2,1]]],
0,
[(4,5)],
[1,1,1,1,1],
rec(version:=2));

MBT("2F4(2)'",3,
TEXT1,
[1,1,1,2,3,1,1,1,4,5,6,1,7,8,9,1,1,10],
[3,0,0,0,0,0,0,0,0,0],
[[1,2,3,6,7,12,18,19,21]],
[],
[[[1,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,0,0],[-1,0,0,1,0,0,0,
0,0],[0,0,0,0,0,-1,0,-1,1],[0,-1,-1,0,1,1,0,1,-1],[0,-1,-1,0,0,1,0,0,0],[1,1,
1,-1,-1,-1,0,0,1],[1,0,0,-1,0,1,1,1,-1]]],
0,
[(15,17)(16,18),( 8, 9)(15,16)(17,18),(10,11)(13,14)],
0);

MBT("2F4(2)'",5,
TEXT1,
[1,1,1,1,1,1,1,1,2,3,1,1,1,1,1,1,4,5,6,7],
[2,0,0,0,0,0,0],
[[1,2,3,4,5,6,9,10,11,12,13,16,17,21]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,
0,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,0,0,0,0],[0,
0,0,0,0,1,0,0,0,0,0,0,0,0],[-1,1,1,0,0,1,0,1,1,1,0,1,0,-1],[0,-1,-1,-1,-1,-2,
1,-1,-1,-1,0,-1,0,1],[0,0,0,0,0,0,0,1,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,1,0,0,0,0,
0],[-1,1,1,0,0,2,-1,1,1,1,1,1,0,-1],[0,-1,-1,-1,-1,-1,0,-1,-1,0,0,-1,0,1],[0,
1,1,1,1,2,-1,1,1,1,0,1,1,-1],[1,-1,-1,0,0,-1,0,-1,-1,-1,0,0,0,1]]],
0,
[(11,12),( 9,10)(17,18)(19,20),(13,14)(15,16)(17,19)(18,20)],
0);

MBT("3D4(2).3",13,
TEXT1,
[1,1,1,2,3,4,5,6,7,1,1,1,8,9,10,1,1,1,11,12,13,14,15,16,17,18,19,20,21,22,23,
24,25,26,27,28,29,30,31,32,33,34,1,1,1,35,36,37],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,7],[2,8],[3,9],[4,10],[5,10],[6,10],[7,11],[8,12],[9,13],[10,11],[10,
12],[10,13]]],
[],
0,
[(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)],
0);

MBT("3D4(2).3",2,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,4],
[12,0,0,0],
[[1,2,3,4,5,6,7,10,13,14,15,19,35]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,0,0,
0,0,0,0],[0,-1,-1,-1,0,0,1,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0],[0,0,0,0,
1,0,0,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,0,0],[0,0,0,0,0,0,-1,1,0,0,0,0,0],[
-3,2,2,3,-2,-2,-3,-2,0,0,0,1,0],[-1,0,0,-1,0,0,0,0,1,0,0,0,0],[0,-1,0,0,-1,0,
0,0,0,1,0,0,0],[0,0,-1,0,0,-1,0,0,0,0,1,0,0],[3,-3,-3,-4,2,2,4,2,-1,-1,-1,-3,
1]]],
0,
[( 9,10)(11,12)(13,14)(15,16)],
[1,0,0,1,1,0,0,1,1,1,0,0,1,1,0,0]);

MBT("3D4(2).3",3,
TEXT1,
[1,1,1,1,2,3,1,4,1,1,5,3,6],
[5,1,1,1,0,0],
[[1,4,7,10,20,29,37]],
[,[[1,2,3]],[[1,3],[2,3]],2],
[[[1,0,0,0,0,0,0],[-1,1,0,0,0,0,0],[0,0,1,0,0,0,0],[0,0,0,1,0,0,0],[-1,-1,0,0,
1,0,0],[0,0,-1,0,0,1,0],[1,-1,0,-1,0,0,1]]],
0,
[],
0);

MBT("3D4(2).3",7,
TEXT1,
[1,1,1,1,1,1,1,1,1,2,3,4,5,5,5,1,1,1,1,1,1,6,7,8,1,1,1,1,1,1,9,10,11,12,5,5,5,
13,14,15,16,17],
[2,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],
[[1,2,3,4,5,6,7,8,9,16,17,18,20,21,22,26,27,28,32,33,34]],
[,,,,[[1,7],[2,7],[3,7],[4,7],[5,7],[6,7]]],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,
1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[
0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,
0,0,0,0],[0,0,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,-1,0,0,0,0,0,1,
0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,-1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0],[-1,0,0,0,0,
0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,
0],[0,0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,
0,1,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0],[0,0,0,0,0,0,0,0,0,
0,0,0,0,0,0,0,0,1,0,0,0],[0,0,0,1,0,0,0,-1,-1,-1,0,0,0,0,0,0,0,0,1,0,0],[0,0,
0,0,1,0,-1,0,-1,0,-1,0,0,0,0,0,0,0,0,1,0],[0,0,0,0,0,1,-1,-1,0,0,0,-1,0,0,0,0,
0,0,0,0,1]]],
0,
[(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)],
0,
rec(version:=1,
date:="24.02.92"));

MBT("3D4(2)",13,
TEXT1,
[1,2,3,1,4,1,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,
28,1,29],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[],
[[[1,3],[2,4,5,6],[3,7],[4,5,6,7]]],
[],
0,
[(17,18,19)(24,25,26),(17,19,18)(24,26,25),(11,12,13)(21,22,23)(27,28,29)
(30,31,32)],
0);

MBT("3D4(2)",2,
TEXT1,
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2],
[12,0],
[[1,2,3,4,5,7,8,9,15,16,17,18,19,31,32]],
[],
[[[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,-1,0,0,1,0,1,1,0,0,0,0,-1],[-2,-1,1,
2,0,-1,-1,0,-2,-1,-1,0,0,1,1],[0,0,0,-1,0,1,0,0,1,0,1,0,0,-1,0],[0,1,0,0,0,0,
0,0,0,0,0,0,0,0,0],[2,1,-2,-2,0,2,0,1,2,1,1,-1,-1,-1,0],[0,0,0,0,0,0,1,-1,0,1,
0,1,0,0,-1],[-2,-1,1,3,0,-2,-1,0,-2,-2,-1,0,1,1,1],[1,0,-2,-1,0,0,1,1,0,1,-1,
-1,-1,1,0],[-1,-1,0,1,0,0,-1,0,-2,-1,0,1,0,0,1],[1,0,-1,-2,0,1,1,0,2,0,1,0,1,
-1,-1],[-1,-1,0,0,1,0,0,0,0,0,0,0,0,0,0],[-1,0,1,1,-1,-1,-1,-1,0,-1,1,-1,0,0,
1],[1,1,0,-2,-1,0,0,0,3,2,1,0,-1,-1,-1],[-3,-1,3,3,-1,-2,-2,-2,-2,0,-1,1,1,1,
0]]],
0,
[( 4, 5, 6)( 8, 9,10)(11,12,13)(14,15,16)],
[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]);

MBT("3D4(2)",3,
TEXT1,
[1,1,1,1,2,3,4,5,1,6,1,1,7,8,9,3,4,5,10,11,12],
[4,0,1,1,1,0,0,0,0,0,0,0],
[[1,2,3,4,10,13,21]],
[,,[[1,3],[2,3]],3,3],
[[[1,0,0,0,0,0,0],[-1,1,0,0,0,0,0],[0,0,1,0,0,0,0],[0,0,0,1,0,0,0],[-1,-1,0,0,
1,0,0],[0,0,-1,0,0,1,0],[1,-1,0,-1,0,0,1]]],
0,
[(13,14,15),( 7, 8, 9)(16,17,18)(19,20,21)],
0);

MBT("3D4(2)",7,
TEXT1,
[1,1,1,2,3,1,1,4,1,1,5,6,7,8,3,9,10,11,12,13,14,15],
[2,0,1,0,0,0,0,0,0,0,0,0,0,0,0],
[[1,2,3,6,10,12,14]],
[,,[[1,3,4,5],[2,3,4,5]]],
[[[1,0,0,0,0,0,0],[0,1,0,0,0,0,0],[0,0,1,0,0,0,0],[0,-1,0,1,0,0,0],[-1,0,0,0,
1,0,0],[0,0,0,0,0,1,0],[0,1,-2,-1,0,0,1]]],
0,
[(17,18,19),(13,14,15)(20,21,22)],
0,
rec(version:=1,
date:="24.02.92"));

LIBTABLE.LOADSTATUS.ctbtwis1:="userloaded";

#############################################################################
##
#E