/usr/share/gap/lib/pcgspcg.gd is in gap-libs 4r7p5-2.
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 | #############################################################################
##
#W pcgspcg.gd GAP Library Frank Celler
##
##
#Y Copyright (C) 1996, 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
##
## This file contains the operations for polycylic generating systems of pc
## groups.
##
#############################################################################
##
#P IsFamilyPcgs( <pcgs> )
##
## <#GAPDoc Label="IsFamilyPcgs">
## <ManSection>
## <Prop Name="IsFamilyPcgs" Arg='pcgs'/>
##
## <Description>
## specifies whether the pcgs is a <Ref Attr="FamilyPcgs"/> of a pc group.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareProperty( "IsFamilyPcgs", IsPcgs,
30 #familyPcgs is stronger than prime orders and some other properties
# (cf. rank for `IsParentPcgsFamilyPcgs' in pcgsind.gd)
);
InstallTrueMethod(IsCanonicalPcgs,IsFamilyPcgs);
InstallTrueMethod(IsParentPcgsFamilyPcgs,IsFamilyPcgs);
#############################################################################
##
#F DoExponentsConjLayerFampcgs( <p>,<m>,<e>,<c> )
##
## <ManSection>
## <Func Name="DoExponentsConjLayerFampcgs" Arg='p,m,e,c'/>
##
## <Description>
## this algorithm does not compute any conjugates but only looks them up and
## adds vectors mod <A>p</A>.
## </Description>
## </ManSection>
##
DeclareGlobalFunction("DoExponentsConjLayerFampcgs");
#############################################################################
##
#E
|