GAP Manual: 51.19. CheckPermChar

CheckPermChar( subtbl, tbl, fusionmap, permchar )

tries to improve the parametrized fusion fusionmap (see Chapter 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 emall 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.