/usr/share/gap/lib/ghomperm.gd is in gap-libs 4r8p8-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 | #############################################################################
##
#W ghomperm.gd GAP library Heiko Theißen
##
##
#Y Copyright (C) 1997, Lehrstuhl D für Mathematik, RWTH Aachen, Germany
#Y (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland
#Y Copyright (C) 2002 The GAP Group
##
#############################################################################
##
#R IsPermGroupGeneralMapping(<map>)
#R IsPermGroupGeneralMappingByImages(<map>)
#R IsPermGroupHomomorphism(<map>)
#R IsPermGroupHomomorphismByImages(<map>)
##
## <#GAPDoc Label="IsPermGroupGeneralMapping">
## <ManSection>
## <Filt Name="IsPermGroupGeneralMapping" Arg='map' Type='Representation'/>
## <Filt Name="IsPermGroupGeneralMappingByImages" Arg='map' Type='Representation'/>
## <Filt Name="IsPermGroupHomomorphism" Arg='map' Type='Representation'/>
## <Filt Name="IsPermGroupHomomorphismByImages" Arg='map' Type='Representation'/>
##
## <Description>
## are the representations for mappings that map from a perm group
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareRepresentation( "IsPermGroupGeneralMapping",
IsGroupGeneralMapping,[]);
DeclareRepresentation( "IsPermGroupGeneralMappingByImages",
IsPermGroupGeneralMapping and IsGroupGeneralMappingByImages, [] );
DeclareSynonym( "IsPermGroupHomomorphism",
IsPermGroupGeneralMapping and IsMapping );
DeclareSynonym( "IsPermGroupHomomorphismByImages",
IsPermGroupGeneralMappingByImages and IsMapping );
#############################################################################
##
#R IsToPermGroupGeneralMappingByImages(<map>)
#R IsToPermGroupHomomorphismByImages(<map>)
##
## <#GAPDoc Label="IsToPermGroupGeneralMappingByImages">
## <ManSection>
## <Filt Name="IsToPermGroupGeneralMappingByImages" Arg='map' Type='Representation'/>
## <Filt Name="IsToPermGroupHomomorphismByImages" Arg='map' Type='Representation'/>
##
## <Description>
## is the representation for mappings that map to a perm group
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareRepresentation( "IsToPermGroupGeneralMappingByImages",
IsGroupGeneralMappingByImages,
[ "generators", "genimages" ] );
DeclareSynonym( "IsToPermGroupHomomorphismByImages",
IsToPermGroupGeneralMappingByImages and IsMapping );
#############################################################################
##
#F RelatorsPermGroupHom(<hom>,<gens>)
##
## <ManSection>
## <Func Name="RelatorsPermGroupHom" Arg='hom,gens'/>
##
## <Description>
## <C>RelatorsPermGroupHom</C> is an internal function which is called by the
## operation <C>IsomorphismFpGroupByGeneratorsNC</C> in case of a permutation group.
## It implements John Cannon's multi-stage relations finding algorithm as
## described in <Cite Key="Neu82"/>.
## </Description>
## </ManSection>
##
DeclareGlobalFunction("RelatorsPermGroupHom");
#############################################################################
DeclareGlobalFunction( "AddGeneratorsGenimagesExtendSchreierTree" );
DeclareGlobalFunction( "ImageSiftedBaseImage" );
DeclareGlobalFunction( "CoKernelGensIterator" );
DeclareGlobalFunction( "CoKernelGensPermHom" );
DeclareGlobalFunction( "StabChainPermGroupToPermGroupGeneralMappingByImages" );
DeclareGlobalFunction( "MakeStabChainLong" );
DeclareGlobalFunction( "ImageKernelBlocksHomomorphism" );
DeclareGlobalFunction( "PreImageSetStabBlocksHomomorphism" );
#############################################################################
##
#E
|