CheckPermChar( subtbl, tbl, fusionmap, permchar )
Maps and Parametrized Maps) from the character table subtbl into the
character table tbl using the permutation character permchar that
belongs to the required fusion: A possible image x of class i is
excluded if class i is too large, and a possible image y of class i
is the right image if y must be the image of em all classes where
y is a possible image.
CheckPermChar returns true if no inconsistency occurred, and
false otherwise.
gap> fus:= InitFusion( s, ru );; # cf. example in "InitFusion"
gap> permchar:= Sum( Sublist( ru.irreducibles, [ 1, 5, 6 ] ) );;
gap> CheckPermChar( s, ru, fus, permchar );; fus;
[ 1, 2, 2, 4, 5, 7, 8, 9, 11, 14, 14, [ 13, 15 ], 16, [ 18, 19 ], 20,
[ 25, 26 ], [ 25, 26 ], 5, 5, 6, 8, 14, [ 13, 15 ], [ 18, 19 ],
[ 18, 19 ], [ 25, 26 ], [ 25, 26 ], 27, 27 ]
CheckPermChar is used by SubgroupFusions SubgroupFusions.
GAP 3.4.4