/usr/share/gap/lib/ghompcgs.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 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 | #############################################################################
##
#W ghompcgs.gd GAP library Bettina Eick
##
#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 IsGroupGeneralMappingByPcgs(<map>)
##
## <#GAPDoc Label="IsGroupGeneralMappingByPcgs">
## <ManSection>
## <Filt Name="IsGroupGeneralMappingByPcgs" Arg='map' Type='Representation'/>
##
## <Description>
## is the representations for mappings that map a pcgs to images and thus
## may use exponents to decompose generators.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareRepresentation( "IsGroupGeneralMappingByPcgs",
IsGroupGeneralMappingByImages,
[ "generators", "genimages", "sourcePcgs", "sourcePcgsImages" ] );
#############################################################################
##
#R IsPcGroupGeneralMappingByImages(<map>)
#R IsPcGroupHomomorphismByImages(<map>)
##
## <#GAPDoc Label="IsPcGroupGeneralMappingByImages">
## <ManSection>
## <Filt Name="IsPcGroupGeneralMappingByImages" Arg='map' Type='Representation'/>
## <Filt Name="IsPcGroupHomomorphismByImages" Arg='map' Type='Representation'/>
##
## <Description>
## is the representation for mappings from a pc group
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareRepresentation( "IsPcGroupGeneralMappingByImages",
IsGroupGeneralMappingByPcgs,
[ "generators", "genimages", "sourcePcgs", "sourcePcgsImages" ] );
DeclareSynonym("IsPcGroupHomomorphismByImages",
IsPcGroupGeneralMappingByImages and IsMapping);
#############################################################################
##
#R IsToPcGroupGeneralMappingByImages( <map>)
#R IsToPcGroupHomomorphismByImages( <map>)
##
## <#GAPDoc Label="IsToPcGroupGeneralMappingByImages">
## <ManSection>
## <Filt Name="IsToPcGroupGeneralMappingByImages" Arg='map' Type='Representation'/>
## <Filt Name="IsToPcGroupHomomorphismByImages" Arg='map' Type='Representation'/>
##
## <Description>
## is the representation for mappings to a pc group
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareRepresentation( "IsToPcGroupGeneralMappingByImages",
IsGroupGeneralMappingByImages,
[ "generators", "genimages", "rangePcgs", "rangePcgsPreimages" ] );
DeclareSynonym("IsToPcGroupHomomorphismByImages",
IsToPcGroupGeneralMappingByImages and IsMapping);
#############################################################################
##
#O NaturalIsomorphismByPcgs( <grp>, <pcgs> ) . . presentation through <pcgs>
##
## <ManSection>
## <Oper Name="NaturalIsomorphismByPcgs" Arg='grp, pcgs'/>
##
## <Description>
## </Description>
## </ManSection>
##
DeclareOperation( "NaturalIsomorphismByPcgs", [ IsGroup, IsPcgs ] );
#############################################################################
##
#R IsNaturalHomomorphismPcGroupRep . . . . . . . . natural hom in a pc group
##
## <ManSection>
## <Filt Name="IsNaturalHomomorphismPcGroupRep" Arg='obj' Type='Representation'/>
##
## <Description>
## </Description>
## </ManSection>
##
DeclareRepresentation( "IsNaturalHomomorphismPcGroupRep",
IsGroupHomomorphism and IsSurjective and IsSPGeneralMapping and
IsAttributeStoringRep,
[ "sourcePcgs", "rangePcgs" ] );
#############################################################################
##
#R IsPcgsToPcgsGeneralMappingByImages(<obj>)
##
## <ManSection>
## <Filt Name="IsPcgsToPcgsGeneralMappingByImages" Arg='obj' Type='Representation'/>
##
## <Description>
## </Description>
## </ManSection>
##
DeclareRepresentation( "IsPcgsToPcgsGeneralMappingByImages",
IsPcGroupGeneralMappingByImages and IsToPcGroupGeneralMappingByImages,
[ "generators", "genimages", "sourcePcgs", "sourcePcgsImages",
"rangePcgs", "rangePcgsPreimages" ] );
DeclareSynonym( "IsPcgsToPcgsHomomorphism",
IsPcgsToPcgsGeneralMappingByImages and IsMapping);
#############################################################################
##
#E
|