/usr/share/gap/lib/quotsys.gd is in gap-libs 4r6p5-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 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 | #############################################################################
##
#W quotsys.gd GAP Library Werner Nickel
##
##
#Y Copyright (C) 1998 . . . . . . . . . University of St Andrews, Scotland
##
#############################################################################
##
#C IsQuotientSystem . . . . . . . . . . . . . . . . . declare the category
##
## A quotient system contains all the data necessary for computing a
## quotient group of finitely presented group. Typically, the quotient
## group is a p-group, a nilpotent group, a finite soluble group or a
## polycylic group.
##
## Every quotient system contains the finitely presented group, a quotient
## group and lots of auxiliary information.
##
## Here I should have the list of components that every quotient system
## *must* have and a list of operations for which there *must* be methods
## installed.
##
DeclareCategory( "IsQuotientSystem", IsObject );
#############################################################################
##
#I InfoQuotientSystem . . . . . . . . . . . . . . . . . provide information
##
DeclareInfoClass( "InfoQuotientSystem" );
#############################################################################
##
#P IsPQuotientSystem . . . . . . . . . . . . . . . . . declare the category
##
## Here I should have a list of components that every p-quotient system
## *must* have and a list of operations for which there *must* be methods
## installed.
##
DeclareProperty( "IsPQuotientSystem", IsQuotientSystem );
#############################################################################
##
#P IsNilpQuotientSystem . . . . . . . . . . . . . . . declare the category
##
## Here I should have a list of components that every nilpotent quotient
## system *must* have and a list of operations for which there *must* be
## methods installed.
##
DeclareProperty( "IsNilpQuotientSystem", IsQuotientSystem );
#############################################################################
##
#O QuotientSystem . . . . . . . . . . . . . . . . . . declare the operation
##
DeclareOperation( "QuotientSystem",
[ IsObject, IsPosInt, IsPosInt, IsString ] );
#############################################################################
##
#F QuotSysDefinitionByIndex . . . . . . . . . . convert index to definition
##
DeclareGlobalFunction( "QuotSysDefinitionByIndex" );
#############################################################################
##
#F QuotSysIndexByDefinition . . . . . . . . . . convert definition to index
##
DeclareGlobalFunction( "QuotSysIndexByDefinition" );
#############################################################################
##
#O GetDefinitionNC . . . . . . . . . . . . . . . . . . declare the operation
##
DeclareOperation( "GetDefinitionNC",
[IsQuotientSystem, IsPosInt] );
#############################################################################
##
#O SetDefinitionNC . . . . . . . . . . . . . . . . . . declare the operation
##
DeclareOperation( "SetDefinitionNC",
[IsQuotientSystem, IsPosInt, IsObject] );
#############################################################################
##
#O ClearDefinitionNC . . . . . . . . . . . . . . . . . declare the operation
##
DeclareOperation( "ClearDefinitionNC", [IsQuotientSystem, IsPosInt] );
#############################################################################
##
#O DefineNewGenerators . . . . . . . . . . . . generators of the next layer
##
DeclareOperation( "DefineNewGenerators", [IsQuotientSystem] );
#############################################################################
##
#O SplitWordTail . . . . . . . . . . . . . . split a word into word and tail
##
DeclareOperation( "SplitWordTail", [IsQuotientSystem, IsAssocWord] );
#############################################################################
##
#O ExtRepByTailVector . . . . . ext repr from an exponent vector of a tail
##
DeclareOperation( "ExtRepByTailVector", [IsQuotientSystem,IsVector] );
#############################################################################
##
#O GeneratorNumberOfQuotient . . . . . min. generator number of the quotient
##
DeclareOperation( "GeneratorNumberOfQuotient", [IsQuotientSystem] );
#############################################################################
##
#O TailsInverses . . compute the tails of the inverses in a single collector
##
DeclareOperation( "TailsInverses", [IsQuotientSystem] );
#############################################################################
##
#O ComputeTails . . . . . . . . . . . . compute the tails of a presentation
##
DeclareOperation( "ComputeTails", [IsQuotientSystem] );
#############################################################################
##
#O EvaluateConsistency . . . . . . . . . . . . . . run the consistency tests
##
DeclareOperation( "EvaluateConsistency", [IsQuotientSystem] );
#############################################################################
##
#O IncorporateCentralRelations . . . . . . . . . . . relations into pc pres
##
DeclareOperation( "IncorporateCentralRelations", [IsQuotientSystem] );
#############################################################################
##
#O RenumberHighestWeightGenerators . . . . . . . . . . . renumber generators
##
DeclareOperation( "RenumberHighestWeightGenerators", [IsQuotientSystem] );
#############################################################################
##
#O EvaluateRelators . . . . . . . . evaluate relations of a quotient system
##
DeclareOperation( "EvaluateRelators", [IsQuotientSystem] );
#############################################################################
##
#O LiftEpimorphism . . . . . . . . lift the epimorphism of a quotient system
##
DeclareOperation( "LiftEpimorphism", [IsQuotientSystem] );
#############################################################################
##
#O GeneratorsOfLayer . . . . generators of a layer in the descending series
##
DeclareOperation( "GeneratorsOfLayer", [IsQuotientSystem, IsPosInt] );
#############################################################################
##
#O LengthOfDescendingSeries . . . . . . . . length of the descending series
##
DeclareOperation( "LengthOfDescendingSeries", [IsQuotientSystem] );
#############################################################################
##
#O RanksOfDescendingSeries . ranks of the factors in the descending series
##
DeclareOperation( "RanksOfDescendingSeries", [IsQuotientSystem] );
#############################################################################
##
#O CheckConsistencyOfDefinitions . . check definitions of a quotient system
##
DeclareOperation( "CheckConsistencyOfDefinitions", [IsQuotientSystem] );
#############################################################################
##
#O GroupByQuotientSystem . . . . . construct a group from a quotient system
##
DeclareOperation( "GroupByQuotientSystem", [IsQuotientSystem] );
#############################################################################
##
#O TraceDefinition . . . . . . trace a generator back to defining generators
##
DeclareOperation( "TraceDefinition", [IsQuotientSystem, IsPosInt] );
#############################################################################
##
#E Emacs . . . . . . . . . . . . . . . . . . . . . . . . . . emacs variables
##
## Local Variables:
## mode: outline
## tab-width: 4
## outline-regexp: "#[ACEFHMOPRWY]"
## fill-column: 77
## fill-prefix: "## "
## eval: (hide-body)
## End:
|