\begin{theindex}

  \item \texttt  {=}
    \subitem for FpGModuleGF, \hyperpage{42}

  \indexspace

  \item \texttt  {AmbientModuleDimension}, \hyperpage{31}

  \indexspace

  \item \texttt  {BaseRing}, \hyperpage{18}
  \item \texttt  {Best}\discretionary {-}{}{}\texttt  {Central}\discretionary {-}{}{}\texttt  {Subgroup}\discretionary {-}{}{}\texttt  {For}\discretionary {-}{}{}\texttt  {Resolution}\discretionary {-}{}{}\texttt  {Finite}\discretionary {-}{}{}\texttt  {Extension}, 
		\hyperpage{13}
  \item \texttt  {BoundaryFpGModuleHomomorphismGF}, \hyperpage{11}

  \indexspace

  \item \texttt  {CanonicalAction}, \hyperpage{28}
  \item \texttt  {CanonicalActionOnRight}, \hyperpage{28}
  \item \texttt  {CanonicalGroupAndAction}, \hyperpage{28}
  \item \texttt  {CoefficientsOfPoincareSeries}, \hyperpage{20}
  \item \texttt  {CoefficientsRing}, \hyperpage{18}
  \item \texttt  {CompositionRingHomomorphism}, \hyperpage{55}

  \indexspace

  \item \texttt  {DegreeOfRepresentative}, \hyperpage{19}
  \item \texttt  {DerivationImages}, \hyperpage{61}
  \item \texttt  {DerivationRelations}, \hyperpage{61}
  \item \texttt  {DerivationRing}, \hyperpage{60}
  \item \texttt  {DirectDecompositionOfModule}, \hyperpage{39}
  \item \texttt  {DirectDecompositionOfModuleDestructive}, 
		\hyperpage{39}
  \item \texttt  {DirectSumOfModules}
    \subitem for collection of modules, \hyperpage{39}
    \subitem for n copies of the same module, \hyperpage{39}
    \subitem for two modules, \hyperpage{39}
  \item \texttt  {DisplayBlocks}
    \subitem for FpGModuleGF, \hyperpage{31}
    \subitem for FpGModuleHomomorphismGF, \hyperpage{47}
  \item \texttt  {DisplayModuleHomomorphismGeneratorMatrix}, 
		\hyperpage{47}
  \item \texttt  {Display}\discretionary {-}{}{}\texttt  {Module}\discretionary {-}{}{}\texttt  {Homomorphism}\discretionary {-}{}{}\texttt  {Generator}\discretionary {-}{}{}\texttt  {Matrix}\discretionary {-}{}{}\texttt  {Blocks}, 
		\hyperpage{47}

  \indexspace

  \item \texttt  {EchelonModuleGenerators}, \hyperpage{36}
  \item \texttt  {EchelonModuleGeneratorsDestructive}, \hyperpage{36}
  \item \texttt  {EchelonModuleGeneratorsMinMem}, \hyperpage{36}
  \item \texttt  {EchelonModuleGeneratorsMinMemDestructive}, 
		\hyperpage{36}

  \indexspace

  \item \texttt  {FpGModuleFromFpGModuleGF}, \hyperpage{28}
  \item \texttt  {FpGModuleGF}
    \subitem construction from FpGModule, \hyperpage{27}
    \subitem construction from generators and groupAndAction, 
		\hyperpage{27}
    \subitem construction from generators, group and action, 
		\hyperpage{27}
    \subitem construction of empty module from group and action, 
		\hyperpage{27}
    \subitem construction of empty module from groupAndAction, 
		\hyperpage{27}
    \subitem construction of full canonical module, \hyperpage{27}
    \subitem construction of full canonical module from groupAndAction, 
		\hyperpage{27}
  \item \texttt  {FpGModuleGFNC}
    \subitem construction for empty module with group and action, 
		\hyperpage{27}
    \subitem construction from generators and groupAndAction, 
		\hyperpage{27}
    \subitem construction from generators, group and action, 
		\hyperpage{27}
  \item \texttt  {FpGModuleHomomorphismGF}, \hyperpage{46}
  \item \texttt  {FpGModuleHomomorphismGFNC}, \hyperpage{46}

  \indexspace

  \item \texttt  {GeneratorsOfPresentationIdeal}, \hyperpage{18}
  \item \texttt  {GradedAlgebraPresentation}, \hyperpage{17}
  \item \texttt  {GradedAlgebraPresentationNC}, \hyperpage{17}

  \indexspace

  \item \texttt  {HallSeniorNumber}
    \subitem for group, \hyperpage{72}
    \subitem for SmallGroup library ref, \hyperpage{72}
  \item \texttt  {HAPDerivation}, \hyperpage{60}
  \item \texttt  {HAPDerivationNC}, \hyperpage{60}
  \item \texttt  {HAPRingHomomorphismByIndeterminateMap}, 
		\hyperpage{54}
  \item \texttt  {HAPRingReductionHomomorphism}
    \subitem for image of ring homomorphism, \hyperpage{54}
    \subitem for ring presentation, \hyperpage{54}
  \item \texttt  {HAPRingToSubringHomomorphism}, \hyperpage{54}
  \item \texttt  {HAPSubringToRingHomomorphism}
    \subitem for relations defined at image, \hyperpage{54}
    \subitem for relations defined at source, \hyperpage{54}
  \item \texttt  {HAPZeroRingHomomorphism}, \hyperpage{55}
  \item \texttt  {HilbertPoincareSeries}, \hyperpage{20}
  \item \texttt  {HomologyOfDerivation}, \hyperpage{62}

  \indexspace

  \item \texttt  {ImageGenerators}, \hyperpage{56}
  \item \texttt  {ImageOfDerivation}, \hyperpage{61}
  \item \texttt  {ImageOfModuleHomomorphism}
    \subitem image of homomorphism, \hyperpage{49}
    \subitem of collections of elements, \hyperpage{49}
    \subitem of element, \hyperpage{49}
    \subitem of module, \hyperpage{49}
  \item \texttt  {ImageOfModuleHomomorphismDestructive}
    \subitem of collection of elements, \hyperpage{49}
    \subitem of element, \hyperpage{49}
  \item \texttt  {ImageOfRingHomomorphism}
    \subitem for collection of polynomials, \hyperpage{56}
    \subitem for one polynomial, \hyperpage{56}
  \item \texttt  {ImagePolynomialRing}, \hyperpage{56}
  \item \texttt  {ImageRelations}, \hyperpage{56}
  \item \texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {And}\discretionary {-}{}{}\texttt  {Exponent}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Univariate}\discretionary {-}{}{}\texttt  {Monomial}, 
		\hyperpage{69}
  \item \texttt  {IndeterminateDegrees}, \hyperpage{18}
  \item \texttt  {Indeterminates}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Graded}\discretionary {-}{}{}\texttt  {Algebra}\discretionary {-}{}{}\texttt  {Presentation}, 
		\hyperpage{18}
  \item \texttt  {IndeterminatesOfPolynomial}, \hyperpage{69}
  \item \texttt  {IntersectionModules}, \hyperpage{40}
  \item \texttt  {IntersectionModulesGF}, \hyperpage{40}
  \item \texttt  {IntersectionModulesGF2}, \hyperpage{40}
  \item \texttt  {IntersectionModulesGFDestructive}, \hyperpage{40}
  \item \texttt  {InverseRingHomomorphism}, \hyperpage{55}
  \item \texttt  {IsAssociatedGradedRing}, \hyperpage{19}
  \item \texttt  {IsIsomorphicGradedAlgebra}, \hyperpage{19}
  \item \texttt  {IsModuleElement}
    \subitem for collection of elements, \hyperpage{42}
    \subitem for element, \hyperpage{42}
  \item \texttt  {IsMonomial}
    \subitem for polynomial, \hyperpage{69}
  \item \texttt  {IsSameSubspace}, \hyperpage{68}
  \item \texttt  {IsSubModule}, \hyperpage{42}

  \indexspace

  \item \texttt  {KernelOfDerivation}, \hyperpage{61}
  \item \texttt  {KernelOfModuleHomomorphism}, \hyperpage{49}
  \item \texttt  {KernelOfModuleHomomorphismGF}, \hyperpage{50}
  \item \texttt  {Kernel}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Module}\discretionary {-}{}{}\texttt  {Homomorphism}\discretionary {-}{}{}\texttt  {Independent}\discretionary {-}{}{}\texttt  {Split}, 
		\hyperpage{50}
  \item \texttt  {KernelOfModuleHomomorphismSplit}, \hyperpage{49}

  \indexspace

  \item \texttt  {LengthOneResolutionPrimePowerGroup}, \hyperpage{10}
  \item \texttt  {LengthZeroResolutionPrimePowerGroup}, \hyperpage{10}
  \item \texttt  {LHSSpectralSequence}, \hyperpage{20}
  \item \texttt  {LHSSpectralSequenceLastSheet}, \hyperpage{20}

  \indexspace

  \item \texttt  {MaximumDegreeForPresentation}, \hyperpage{20}
  \item \texttt  {MinimalGeneratorsModuleGF}, \hyperpage{34}
  \item \texttt  {MinimalGeneratorsModuleGFDestructive}, \hyperpage{34}
  \item \texttt  {MinimalGeneratorsModuleRadical}, \hyperpage{34}
  \item \texttt  {ModPRingBasisAsPolynomials}, \hyperpage{15}
  \item \texttt  {ModPRingGeneratorDegrees}, \hyperpage{14}
  \item \texttt  {ModPRingNiceBasis}, \hyperpage{15}
  \item \texttt  {ModPRingNiceBasisAsPolynomials}, \hyperpage{15}
  \item \texttt  {ModuleAction}, \hyperpage{30}
  \item \texttt  {ModuleActionBlockSize}, \hyperpage{30}
  \item \texttt  {ModuleAmbientDimension}, \hyperpage{31}
  \item \texttt  {ModuleCharacteristic}, \hyperpage{31}
  \item \texttt  {ModuleField}, \hyperpage{31}
  \item \texttt  {ModuleGenerators}, \hyperpage{33}
  \item \texttt  {ModuleGeneratorsAreEchelonForm}, \hyperpage{33}
  \item \texttt  {ModuleGeneratorsAreMinimal}, \hyperpage{33}
  \item \texttt  {ModuleGeneratorsForm}, \hyperpage{33}
  \item \texttt  {ModuleGroup}, \hyperpage{30}
  \item \texttt  {ModuleGroupAndAction}, \hyperpage{30}
  \item \texttt  {ModuleGroupOrder}, \hyperpage{30}
  \item \texttt  {ModuleHomomorphismGeneratorMatrix}, \hyperpage{47}
  \item \texttt  {ModuleIsFullCanonical}, \hyperpage{33}
  \item \texttt  {ModuleRank}, \hyperpage{34}
  \item \texttt  {ModuleRankDestructive}, \hyperpage{34}
  \item \texttt  {ModuleVectorSpaceBasis}, \hyperpage{34}
  \item \texttt  {ModuleVectorSpaceDimension}, \hyperpage{34}
  \item \texttt  {MutableCopyModule}, \hyperpage{28}

  \indexspace

  \item \texttt  {PoincareSeriesAutoMem}, \hyperpage{65}
  \item \texttt  {PreimageOfRingHomomorphism}
    \subitem for collection of polynomials, \hyperpage{56}
    \subitem for one polynomial, \hyperpage{56}
  \item \texttt  {Pre}\discretionary {-}{}{}\texttt  {Image}\discretionary {-}{}{}\texttt  {Representative}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Module}\discretionary {-}{}{}\texttt  {Homomorphism}
    \subitem for collection of elements, \hyperpage{49}
    \subitem for element, \hyperpage{49}
    \subitem for module, \hyperpage{49}
  \item \texttt  {Pre}\discretionary {-}{}{}\texttt  {Image}\discretionary {-}{}{}\texttt  {Representative}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Module}\discretionary {-}{}{}\texttt  {HomomorphismGF}
    \subitem for collection of elements, \hyperpage{49}
    \subitem for element, \hyperpage{49}
  \item \texttt  {PresentationIdeal}, \hyperpage{18}
  \item \texttt  {Presentation}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Graded}\discretionary {-}{}{}\texttt  {Structure}\discretionary {-}{}{}\texttt  {Constant}\discretionary {-}{}{}\texttt  {Algebra}, 
		\hyperpage{15}
  \item \texttt  {PrintDimensionsMat}, \hyperpage{68}

  \indexspace

  \item \texttt  {RadicalOfModule}, \hyperpage{35}
  \item \texttt  {RandomElement}, \hyperpage{42}
  \item \texttt  {RandomSubmodule}, \hyperpage{43}
  \item \texttt  {ReducedPolynomialRingPresentation}, \hyperpage{70}
  \item \texttt  {ReducedPolynomialRingPresentationMap}, \hyperpage{70}
  \item \texttt  {ReduceIdeal}
    \subitem for Ideal, \hyperpage{69}
    \subitem for list of relations, \hyperpage{69}
  \item \texttt  {ResolutionFpGModuleGF}, \hyperpage{11}
  \item \texttt  {ResolutionGroup}, \hyperpage{11}
  \item \texttt  {ResolutionLength}, \hyperpage{11}
  \item \texttt  {ResolutionModuleRank}, \hyperpage{11}
  \item \texttt  {ResolutionModuleRanks}, \hyperpage{11}
  \item \texttt  {ResolutionsAreEqual}, \hyperpage{11}
  \item \texttt  {ReverseEchelonModuleGenerators}, \hyperpage{37}
  \item \texttt  {Reverse}\discretionary {-}{}{}\texttt  {Echelon}\discretionary {-}{}{}\texttt  {Module}\discretionary {-}{}{}\texttt  {Generators}\discretionary {-}{}{}\texttt  {Destructive}, 
		\hyperpage{37}

  \indexspace

  \item \texttt  {SemiEchelonModuleGenerators}, \hyperpage{36}
  \item \texttt  {SemiEchelonModuleGeneratorsDestructive}, 
		\hyperpage{36}
  \item \texttt  {SemiEchelonModuleGeneratorsMinMem}, \hyperpage{36}
  \item \texttt  {Semi}\discretionary {-}{}{}\texttt  {Echelon}\discretionary {-}{}{}\texttt  {Module}\discretionary {-}{}{}\texttt  {Generators}\discretionary {-}{}{}\texttt  {Min}\discretionary {-}{}{}\texttt  {Mem}\discretionary {-}{}{}\texttt  {Destructive}, 
		\hyperpage{37}
  \item \texttt  {SingularGroebnerBasis}, \hyperpage{71}
  \item \texttt  {SingularPolynomialNormalForm}, \hyperpage{71}
  \item \texttt  {SingularReducedGroebnerBasis}, \hyperpage{72}
  \item \texttt  {SingularSetNormalFormIdeal}, \hyperpage{71}
  \item \texttt  {SingularSetNormalFormIdealNC}, \hyperpage{71}
  \item \texttt  {SolutionMat}
    \subitem for multiple vectors, \hyperpage{68}
  \item \texttt  {SolutionMatDestructive}
    \subitem for multiple vectors, \hyperpage{68}
  \item \texttt  {SourceGenerators}, \hyperpage{55}
  \item \texttt  {SourceModule}, \hyperpage{47}
  \item \texttt  {SourcePolynomialRing}, \hyperpage{55}
  \item \texttt  {SourceRelations}, \hyperpage{55}
  \item \texttt  {SubspaceBasisRepsByDegree}
    \subitem for list of degrees, \hyperpage{20}
    \subitem for one degree, \hyperpage{20}
  \item \texttt  {SubspaceDimensionDegree}
    \subitem for list of degrees, \hyperpage{20}
    \subitem for one degree, \hyperpage{20}
  \item \texttt  {SumIntersectionMatDestructive}, \hyperpage{67}
  \item \texttt  {SumIntersectionMatDestructiveSE}, \hyperpage{67}
  \item \texttt  {SumModules}, \hyperpage{40}

  \indexspace

  \item \texttt  {TargetModule}, \hyperpage{47}
  \item \texttt  {TensorProduct}
    \subitem for collection of algebra presentations, \hyperpage{19}
    \subitem for two algebra presentations, \hyperpage{19}
  \item \texttt  {TermsOfPolynomial}, \hyperpage{69}

  \indexspace

  \item \texttt  {UnivariateMonomialsOfMonomial}, \hyperpage{69}

\end{theindex}
