\begin{theindex}

  \item \texttt  {\texttt  {\char 92\relax }*}
    \subitem constructor for ideal multiples, \hyperpage{86}
    \subitem copy a matrix over a different ring, \hyperpage{51}
    \subitem copy a matrix over a different ring (right), 
		\hyperpage{51}
    \subitem for composable matrices, \hyperpage{59}
    \subitem for ring elements and matrices, \hyperpage{59}
    \subitem TensorProduct, \hyperpage{140}
    \subitem transfer a module over a different ring, \hyperpage{77}
    \subitem transfer a module over a different ring (right), 
		\hyperpage{77}
  \item \texttt  {\texttt  {\char 92\relax }+}
    \subitem for matrices, \hyperpage{59}
  \item \texttt  {\texttt  {\char 92\relax }-}
    \subitem for matrices, \hyperpage{59}
  \item \texttt  {\texttt  {\char 92\relax }/}
    \subitem constructor for residue class rings, \hyperpage{33}
  \item \texttt  {\texttt  {\char 92\relax }=}
    \subitem for matrices, \hyperpage{60}
  \item \textsf{homalg}, \hyperpage{19}

  \indexspace

  \item \texttt  {Add}
    \subitem to complexes given a map, \hyperpage{102}
    \subitem to complexes given a matrix, \hyperpage{102}
  \item \texttt  {AddMat}
    \subitem homalgTable entry, \hyperpage{169}
    \subitem ResidueClassRing, \hyperpage{206}
  \item \texttt  {AreEqualMatrices}
    \subitem homalgTable entry, \hyperpage{173}
    \subitem ResidueClassRing, \hyperpage{207}
  \item \texttt  {AsDifferentialObject}
    \subitem for homalg bigraded objects stemming from a bicomplex, 
		\hyperpage{116}

  \indexspace

  \item \texttt  {BasisAlgorithmRespectsPrincipalIdeals}, 
		\hyperpage{40}
  \item \texttt  {BasisOfColumnModule}
    \subitem for matrices, \hyperpage{61}
    \subitem ResidueClassRing, \hyperpage{196}
  \item \texttt  {BasisOfColumns}
    \subitem for matrices, \hyperpage{64}
    \subitem for pairs of matrices, \hyperpage{64}
  \item \texttt  {BasisOfColumnsCoeff}
    \subitem for matrices, \hyperpage{63}
    \subitem ResidueClassRing, \hyperpage{199}
  \item \texttt  {BasisOfRowModule}
    \subitem for matrices, \hyperpage{61}
    \subitem ResidueClassRing, \hyperpage{196}
  \item \texttt  {BasisOfRows}
    \subitem for matrices, \hyperpage{64}
    \subitem for pairs of matrices, \hyperpage{64}
  \item \texttt  {BasisOfRowsCoeff}
    \subitem for matrices, \hyperpage{63}
    \subitem ResidueClassRing, \hyperpage{199}
  \item \texttt  {BettiDiagram}
    \subitem for complexes, \hyperpage{102}
    \subitem for modules, \hyperpage{85}
  \item \texttt  {ByASmallerPresentation}
    \subitem for bicomplexes, \hyperpage{113}
    \subitem for bigraded objects, \hyperpage{119}
    \subitem for chain maps, \hyperpage{110}
    \subitem for complexes, \hyperpage{103}
    \subitem for maps, \hyperpage{96}
    \subitem for modules, \hyperpage{85}
    \subitem for spectral sequences, \hyperpage{123}

  \indexspace

  \item \texttt  {CanBeUsedToDecideZeroEffectively}, \hyperpage{71}
  \item \texttt  {CastelnuovoMumfordRegularity}, \hyperpage{85}
  \item \texttt  {CertainColumns}
    \subitem for matrices, \hyperpage{58}
    \subitem homalgTable entry, \hyperpage{168}
    \subitem ResidueClassRing, \hyperpage{203}
  \item \texttt  {CertainRows}
    \subitem for matrices, \hyperpage{58}
    \subitem homalgTable entry, \hyperpage{168}
    \subitem ResidueClassRing, \hyperpage{203}
  \item \texttt  {CodegreeOfPurity}, \hyperpage{85}
  \item \texttt  {Codim}, \hyperpage{84}
  \item \texttt  {CoefficientsRing}, \hyperpage{42}
  \item \texttt  {Cokernel}, \hyperpage{131}
  \item \texttt  {CokernelEpi}
    \subitem for maps, \hyperpage{94}
  \item \texttt  {CokernelNaturalGeneralizedIsomorphism}
    \subitem for maps, \hyperpage{94}
  \item \texttt  {ColumnRankOfMatrix}, \hyperpage{57}
  \item \texttt  {Compose}
    \subitem homalgTable entry, \hyperpage{169}
    \subitem ResidueClassRing, \hyperpage{206}
  \item \texttt  {ComposeFunctors}
    \subitem constructor for functors given two functors, 
		\hyperpage{128}
  \item \texttt  {ConstructedAsAnIdeal}, \hyperpage{82}
  \item \texttt  {ConstructorForHomalgMatrices}, \hyperpage{41}
  \item \texttt  {ContainsAField}, \hyperpage{34}
  \item \texttt  {CoordinateRingOfGraph}
    \subitem for ring maps, \hyperpage{46}
  \item \texttt  {CreateHomalgFunctor}
    \subitem constructor for functors, \hyperpage{126}

  \indexspace

  \item \texttt  {DecideZero}
    \subitem for matrices and relations, \hyperpage{64}
  \item \texttt  {DecideZeroColumns}
    \subitem for pairs of matrices, \hyperpage{62}
    \subitem ResidueClassRing, \hyperpage{197}
  \item \texttt  {DecideZeroColumnsEffectively}
    \subitem for pairs of matrices, \hyperpage{64}
    \subitem ResidueClassRing, \hyperpage{200}
  \item \texttt  {DecideZeroRows}
    \subitem for pairs of matrices, \hyperpage{61}
    \subitem ResidueClassRing, \hyperpage{197}
  \item \texttt  {DecideZeroRowsEffectively}
    \subitem for pairs of matrices, \hyperpage{64}
    \subitem ResidueClassRing, \hyperpage{200}
  \item \texttt  {DefectOfExactness}, \hyperpage{134}
    \subitem for homalg differential bigraded objects, \hyperpage{117}
  \item \texttt  {DegreeOfMorphism}
    \subitem for maps, \hyperpage{94}
    \subitem for ring maps, \hyperpage{46}
  \item \texttt  {DegreeOfTorsionFreeness}, \hyperpage{84}
  \item \texttt  {DegreesOfEntries}, \hyperpage{57}
    \subitem homalgTable entry, \hyperpage{179}
  \item \texttt  {Determinant}
    \subitem homalgTable entry, \hyperpage{172}
    \subitem ResidueClassRing, \hyperpage{207}
  \item \texttt  {DeterminantMat}, \hyperpage{56}
  \item \texttt  {DiagMat}
    \subitem for matrices, \hyperpage{59}
    \subitem homalgTable entry, \hyperpage{169}
    \subitem ResidueClassRing, \hyperpage{205}

  \indexspace

  \item \texttt  {ElementaryDivisors}, \hyperpage{84}
  \item \texttt  {ElementaryRank}, \hyperpage{43}
  \item \texttt  {EmbeddingInSuperObject}, \hyperpage{83}
  \item \texttt  {Eval}
    \subitem for matrices created with AddMat, \hyperpage{191}
    \subitem for matrices created with CertainColumns, \hyperpage{186}
    \subitem for matrices created with CertainRows, \hyperpage{185}
    \subitem for matrices created with Compose, \hyperpage{193}
    \subitem for matrices created with DiagMat, \hyperpage{189}
    \subitem for matrices created with HomalgIdentityMatrix, 
		\hyperpage{184}
    \subitem for matrices created with HomalgInitialIdentityMatrix, 
		\hyperpage{182}
    \subitem for matrices created with HomalgInitialMatrix, 
		\hyperpage{181}
    \subitem for matrices created with HomalgZeroMatrix, 
		\hyperpage{183}
    \subitem for matrices created with Involution, \hyperpage{185}
    \subitem for matrices created with KroneckerMat, \hyperpage{190}
    \subitem for matrices created with LeftInverse, \hyperpage{194}
    \subitem for matrices created with MulMat, \hyperpage{191}
    \subitem for matrices created with RightInverse, \hyperpage{194}
    \subitem for matrices created with SubMat, \hyperpage{192}
    \subitem for matrices created with UnionOfColumns, \hyperpage{188}
    \subitem for matrices created with UnionOfRows, \hyperpage{187}
  \item \texttt  {Ext}, \hyperpage{142}

  \indexspace

  \item \texttt  {FactorObject}, \hyperpage{83}
  \item \texttt  {FiniteFreeResolutionExists}, \hyperpage{81}
  \item \texttt  {FreeResolution}, \hyperpage{71}
  \item \texttt  {FullSubmodule}, \hyperpage{83}
  \item \texttt  {functor{\textunderscore }Cokernel}, \hyperpage{130}
  \item \texttt  {functor{\textunderscore }}\discretionary {-}{}{}\texttt  {Defect}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Exactness}, 
		\hyperpage{134}
  \item \texttt  {Functor{\textunderscore }Ext}, \hyperpage{142}
  \item \texttt  {Functor{\textunderscore }Hom}, \hyperpage{135}
  \item \texttt  {Functor{\textunderscore }HomHom}, \hyperpage{150}
  \item \texttt  {functor{\textunderscore }ImageModule}, 
		\hyperpage{132}
  \item \texttt  {functor{\textunderscore }Kernel}, \hyperpage{133}
  \item \texttt  {Functor{\textunderscore }LHomHom}, \hyperpage{150}
  \item \texttt  {Functor{\textunderscore }LTensorProduct}, 
		\hyperpage{147}
  \item \texttt  {Functor{\textunderscore }RHom}, \hyperpage{144}
  \item \texttt  {Functor{\textunderscore }TensorProduct}, 
		\hyperpage{139}
  \item \texttt  {Functor{\textunderscore }Tor}, \hyperpage{143}

  \indexspace

  \item \texttt  {GeneralizedEmbeddingsInTotalDefects}, \hyperpage{123}
  \item \texttt  {GeneralizedEmbeddingsInTotalObjects}, \hyperpage{123}
  \item \texttt  {GeneralLinearRank}, \hyperpage{43}
  \item \texttt  {GenerateSameColumnModule}
    \subitem for pairs of matrices, \hyperpage{69}
  \item \texttt  {GenerateSameRowModule}
    \subitem for pairs of matrices, \hyperpage{69}
  \item \texttt  {Genesis}, \hyperpage{129}
  \item \texttt  {GetColumnIndependentUnitPositions}
    \subitem for matrices, \hyperpage{60}
    \subitem homalgTable entry, \hyperpage{176}
  \item \texttt  {GetRowIndependentUnitPositions}
    \subitem for matrices, \hyperpage{60}
    \subitem homalgTable entry, \hyperpage{177}
  \item \texttt  {GetUnitPosition}
    \subitem for matrices, \hyperpage{61}
    \subitem homalgTable entry, \hyperpage{178}
  \item \texttt  {GlobalDimension}, \hyperpage{43}

  \indexspace

  \item \texttt  {HasConstantRank}, \hyperpage{82}
  \item \texttt  {HasInvariantBasisProperty}, \hyperpage{36}
  \item \texttt  {HasLeftInvariantBasisProperty}, \hyperpage{37}
  \item \texttt  {HasRightInvariantBasisProperty}, \hyperpage{37}
  \item \texttt  {Hom}, \hyperpage{136}
  \item \texttt  {HomalgBicomplex}
    \subitem constructor for bicomplexes given a complex of complexes, 
		\hyperpage{112}
  \item \texttt  {HomalgBigradedObject}
    \subitem constructor for bigraded objects given a bicomplex, 
		\hyperpage{116}
  \item \texttt  {HomalgChainMap}
    \subitem constructor for chain maps given a map, \hyperpage{107}
  \item \texttt  {HomalgCocomplex}
    \subitem constructor for cocomplexes given a chain map, 
		\hyperpage{100}
    \subitem constructor for cocomplexes given a complex, 
		\hyperpage{100}
    \subitem constructor for cocomplexes given a map, \hyperpage{100}
    \subitem constructor for cocomplexes given a module, 
		\hyperpage{100}
  \item \texttt  {HomalgComplex}
    \subitem constructor for complexes given a chain map, 
		\hyperpage{98}
    \subitem constructor for complexes given a complex, \hyperpage{98}
    \subitem constructor for complexes given a map, \hyperpage{98}
    \subitem constructor for complexes given a module, \hyperpage{98}
  \item \texttt  {HomalgDiagonalMatrix}
    \subitem constructor for diagonal matrices, \hyperpage{51}
  \item \texttt  {HomalgFieldOfRationals}
    \subitem constructor for the field of rationals, \hyperpage{33}
  \item \texttt  {HomalgFreeLeftModule}
    \subitem constructor for free left modules, \hyperpage{76}
  \item \texttt  {HomalgFreeRightModule}
    \subitem constructor for free right modules, \hyperpage{76}
  \item \texttt  {HomalgIdentityMap}
    \subitem constructor for identity maps, \hyperpage{92}
  \item \texttt  {HomalgIdentityMatrix}
    \subitem constructor for identity matrices, \hyperpage{49}
  \item \texttt  {HomalgInitialIdentityMatrix}
    \subitem constructor for initial quadratic matrices with ones on the diagonal, 
		\hyperpage{48}
  \item \texttt  {HomalgInitialMatrix}
    \subitem constructor for initial matrices filled with zeros, 
		\hyperpage{47}
  \item \texttt  {HomalgMap}
    \subitem constructor for maps, \hyperpage{90}
    \subitem constructor for maps between free modules, \hyperpage{90}
  \item \texttt  {HomalgMatrix}
    \subitem constructor for matrices using a list, \hyperpage{49}
    \subitem constructor for matrices using a listlist, \hyperpage{49}
    \subitem constructor for matrices using a string of a list, 
		\hyperpage{49}
    \subitem constructor for matrices using a string of a listlist, 
		\hyperpage{49}
  \item \texttt  {homalgMode}, \hyperpage{211}
  \item \texttt  {HomalgRing}
    \subitem for maps, \hyperpage{95}
    \subitem for matrices, \hyperpage{58}
    \subitem for modules, \hyperpage{85}
  \item \texttt  {HomalgRingOfIntegers}
    \subitem constructor for the integers, \hyperpage{33}
    \subitem constructor for the residue class rings of the integers, 
		\hyperpage{33}
  \item \texttt  {HomalgSpectralSequence}
    \subitem constructor for spectral sequences given a bicomplex, 
		\hyperpage{121}
    \subitem constructor for spectral sequences without a special sheet given a bicomplex, 
		\hyperpage{121}
    \subitem constructor for spectral sequences without bound and without a special sheet given a bicomplex, 
		\hyperpage{121}
    \subitem constructor for spectral sequences without bound given a bicomplex, 
		\hyperpage{121}
  \item \texttt  {homalgTable}, \hyperpage{41}
  \item \texttt  {HomalgVoidMatrix}
    \subitem constructor for void matrices, \hyperpage{49}
  \item \texttt  {HomalgZeroLeftModule}
    \subitem constructor for zero left modules, \hyperpage{77}
  \item \texttt  {HomalgZeroMap}
    \subitem constructor for zero maps, \hyperpage{91}
  \item \texttt  {HomalgZeroMatrix}
    \subitem constructor for zero matrices, \hyperpage{49}
  \item \texttt  {HomalgZeroRightModule}
    \subitem constructor for zero right modules, \hyperpage{77}

  \indexspace

  \item \texttt  {IdentityMatrix}
    \subitem homalgTable entry, \hyperpage{168}
    \subitem homalgTable entry for initial identity matrices, 
		\hyperpage{167}
    \subitem ResidueClassRing, \hyperpage{202}
  \item \texttt  {ImageModule}, \hyperpage{132}
  \item \texttt  {ImageModuleEmb}
    \subitem for maps, \hyperpage{95}
  \item \texttt  {ImageModuleEpi}
    \subitem for maps, \hyperpage{95}
  \item \texttt  {ImageSubmodule}
    \subitem for maps, \hyperpage{95}
  \item \texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {Anti}\discretionary {-}{}{}\texttt  {Commuting}\discretionary {-}{}{}\texttt  {Variables}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Exterior}\discretionary {-}{}{}\texttt  {Ring}, 
		\hyperpage{42}
  \item \texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {Coordinates}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Ring}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Derivations}, 
		\hyperpage{42}
  \item \texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {Derivations}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Ring}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Derivations}, 
		\hyperpage{42}
  \item \texttt  {IndeterminatesOfExteriorRing}, \hyperpage{42}
  \item \texttt  {IndeterminatesOfPolynomialRing}, \hyperpage{42}
  \item \texttt  {InsertObjectInMultiFunctor}
    \subitem constructor for functors given a multi-functor and an object, 
		\hyperpage{126}
  \item \texttt  {InstallDeltaFunctor}, \hyperpage{151}
  \item \texttt  {InstallFunctor}, \hyperpage{151}
  \item \texttt  {Involution}
    \subitem for matrices, \hyperpage{58}
    \subitem homalgTable entry, \hyperpage{168}
    \subitem ResidueClassRing, \hyperpage{202}
  \item \texttt  {IsAcyclic}, \hyperpage{101}
  \item \texttt  {IsArtinian}
    \subitem for modules, \hyperpage{81}
    \subitem for rings, \hyperpage{38}
  \item \texttt  {IsAutomorphism}
    \subitem for chain maps, \hyperpage{109}
    \subitem for maps, \hyperpage{94}
    \subitem for ring maps, \hyperpage{45}
  \item \texttt  {IsBasisOfColumnsMatrix}, \hyperpage{55}
  \item \texttt  {IsBasisOfRowsMatrix}, \hyperpage{55}
  \item \texttt  {IsBezoutRing}, \hyperpage{35}
  \item \texttt  {IsBicocomplex}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}, 
		\hyperpage{111}
  \item \texttt  {IsBicomplex}, \hyperpage{113}
  \item \texttt  {IsBicomplexOfFinitelyPresentedObjectsRep}, 
		\hyperpage{111}
  \item \texttt  {IsBigraded}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}, 
		\hyperpage{116}
  \item \texttt  {IsBisequence}, \hyperpage{113}
  \item \texttt  {IsChainMapOfFinitelyPresentedObjectsRep}, 
		\hyperpage{106}
  \item \texttt  {IsCochain}\discretionary {-}{}{}\texttt  {Map}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}, 
		\hyperpage{106}
  \item \texttt  {IsCocomplexOfFinitelyPresentedObjectsRep}, 
		\hyperpage{98}
  \item \texttt  {IsComplex}, \hyperpage{101}
  \item \texttt  {IsComplexOfFinitelyPresentedObjectsRep}, 
		\hyperpage{98}
  \item \texttt  {IsCyclic}, \hyperpage{82}
  \item \texttt  {IsDedekindDomain}, \hyperpage{36}
  \item \texttt  {IsDiagonalMatrix}, \hyperpage{53}
    \subitem homalgTable entry, \hyperpage{174}
    \subitem ResidueClassRing, \hyperpage{208}
  \item \texttt  {IsDiscreteValuationRing}, \hyperpage{36}
  \item \texttt  {IsDivisionRingForHomalg}, \hyperpage{35}
  \item \texttt  {IsEmptyMatrix}, \hyperpage{53}
  \item \texttt  {IsEndowedWithDifferential}, \hyperpage{119}
  \item \texttt  {IsEpimorphism}
    \subitem for chain maps, \hyperpage{109}
    \subitem for maps, \hyperpage{93}
    \subitem for ring maps, \hyperpage{45}
  \item \texttt  {IsExactSequence}, \hyperpage{101}
  \item \texttt  {IsExactTriangle}, \hyperpage{102}
  \item \texttt  {IsFieldForHomalg}, \hyperpage{35}
  \item \texttt  {IsFiniteFreePresentationRing}, \hyperpage{40}
  \item \texttt  {IsFinitelyPresentedModuleOrSubmoduleRep}, 
		\hyperpage{74}
  \item \texttt  {IsFinitelyPresentedModuleRep}, \hyperpage{75}
  \item \texttt  {IsFinitelyPresentedSubmoduleRep}, \hyperpage{75}
  \item \texttt  {IsFree}, \hyperpage{81}
  \item \texttt  {IsFreePolynomialRing}, \hyperpage{36}
  \item \texttt  {IsGeneralizedEpimorphism}
    \subitem for chain maps, \hyperpage{108}
    \subitem for maps, \hyperpage{92}
  \item \texttt  {IsGeneralizedIsomorphism}
    \subitem for chain maps, \hyperpage{108}
    \subitem for maps, \hyperpage{93}
  \item \texttt  {IsGeneralizedMonomorphism}
    \subitem for chain maps, \hyperpage{108}
    \subitem for maps, \hyperpage{93}
  \item \texttt  {IsGeneralizedMorphism}
    \subitem for chain maps, \hyperpage{108}
    \subitem for maps, \hyperpage{92}
  \item \texttt  {IsGeneratorsOfFinitelyGeneratedModuleRep}, 
		\hyperpage{73}
  \item \texttt  {IsGlobalDimensionFinite}, \hyperpage{36}
  \item \texttt  {IsGradedMorphism}
    \subitem for chain maps, \hyperpage{109}
  \item \texttt  {IsGradedObject}, \hyperpage{101}
  \item \texttt  {IsHereditary}, \hyperpage{37}
  \item \texttt  {IsHermite}, \hyperpage{38}
  \item \texttt  {IsHolonomic}, \hyperpage{82}
  \item \texttt  {IsHomalgBicomplex}, \hyperpage{111}
  \item \texttt  {IsHomalgBigradedObject}, \hyperpage{115}
  \item \texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Bigraded}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Bicomplex}, 
		\hyperpage{115}
  \item \texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Bigraded}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Filtered}\discretionary {-}{}{}\texttt  {Complex}, 
		\hyperpage{115}
  \item \texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Bigraded}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {An}\discretionary {-}{}{}\texttt  {Exact}\discretionary {-}{}{}\texttt  {Couple}, 
		\hyperpage{115}
  \item \texttt  {IsHomalgChainMap}, \hyperpage{106}
  \item \texttt  {IsHomalgChainSelfMap}, \hyperpage{106}
  \item \texttt  {IsHomalgComplex}, \hyperpage{98}
  \item \texttt  {IsHomalgFunctor}, \hyperpage{126}
  \item \texttt  {IsHomalgFunctorRep}, \hyperpage{126}
  \item \texttt  {IsHomalgGenerators}, \hyperpage{72}
  \item \texttt  {IsHomalgGeneratorsOfLeftModule}, \hyperpage{72}
  \item \texttt  {IsHomalgGeneratorsOfRightModule}, \hyperpage{72}
  \item \texttt  {IsHomalgInternalMatrixRep}, \hyperpage{47}
  \item \texttt  {IsHomalgInternalRingRep}, \hyperpage{32}
  \item \texttt  {IsHomalgMap}, \hyperpage{89}
  \item \texttt  {IsHomalgMatrix}, \hyperpage{47}
  \item \texttt  {IsHomalgModule}, \hyperpage{74}
  \item \texttt  {IsHomalgRelations}, \hyperpage{70}
  \item \texttt  {IsHomalgRelationsOfLeftModule}, \hyperpage{70}
  \item \texttt  {IsHomalgRelationsOfRightModule}, \hyperpage{70}
  \item \texttt  {IsHomalgRing}, \hyperpage{32}
  \item \texttt  {IsHomalgRingElement}, \hyperpage{32}
  \item \texttt  {IsHomalgRingMap}, \hyperpage{44}
  \item \texttt  {IsHomalgRingMapRep}, \hyperpage{44}
  \item \texttt  {IsHomalgRingSelfMap}, \hyperpage{44}
  \item \texttt  {IsHomalgSelfMap}, \hyperpage{89}
  \item \texttt  {IsHomalgSpectralSequence}, \hyperpage{120}
  \item \texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Spectral}\discretionary {-}{}{}\texttt  {Sequence}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Bicomplex}, 
		\hyperpage{121}
  \item \texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Spectral}\discretionary {-}{}{}\texttt  {Sequence}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Filtered}\discretionary {-}{}{}\texttt  {Complex}, 
		\hyperpage{120}
  \item \texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Spectral}\discretionary {-}{}{}\texttt  {Sequence}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {An}\discretionary {-}{}{}\texttt  {Exact}\discretionary {-}{}{}\texttt  {Couple}, 
		\hyperpage{120}
  \item \texttt  {IsIdentityMatrix}, \hyperpage{52}
    \subitem homalgTable entry, \hyperpage{173}
    \subitem ResidueClassRing, \hyperpage{208}
  \item \texttt  {IsIdentityMorphism}
    \subitem for chain maps, \hyperpage{108}
    \subitem for maps, \hyperpage{93}
    \subitem for ring maps, \hyperpage{45}
  \item \texttt  {IsInitialIdentityMatrix}, \hyperpage{55}
  \item \texttt  {IsInitialMatrix}, \hyperpage{55}
  \item \texttt  {IsInjectivePresentation}, \hyperpage{71}
  \item \texttt  {IsIntegersForHomalg}, \hyperpage{35}
  \item \texttt  {IsIntegralDomain}, \hyperpage{37}
  \item \texttt  {IsIntegrallyClosedDomain}, \hyperpage{35}
  \item \texttt  {IsInvertibleMatrix}, \hyperpage{53}
  \item \texttt  {IsIsomorphism}
    \subitem for chain maps, \hyperpage{109}
    \subitem for maps, \hyperpage{93}
    \subitem for ring maps, \hyperpage{45}
  \item \texttt  {IsKaplanskyHermite}, \hyperpage{35}
  \item \texttt  {IsLeftAcyclic}, \hyperpage{101}
  \item \texttt  {IsLeftArtinian}, \hyperpage{38}
  \item \texttt  {IsLeftFiniteFreePresentationRing}, \hyperpage{40}
  \item \texttt  {IsLeftGlobalDimensionFinite}, \hyperpage{36}
  \item \texttt  {IsLeftHereditary}, \hyperpage{37}
  \item \texttt  {IsLeftHermite}, \hyperpage{38}
  \item \texttt  {IsLeftInvertibleMatrix}, \hyperpage{53}
  \item \texttt  {IsLeftNoetherian}, \hyperpage{38}
  \item \texttt  {IsLeftOreDomain}, \hyperpage{39}
  \item \texttt  {IsLeftPrincipalIdealRing}, \hyperpage{39}
  \item \texttt  {IsLeftRegularMatrix}, \hyperpage{53}
  \item \texttt  {IsLocalRing}, \hyperpage{37}
  \item \texttt  {IsLowerStairCaseMatrix}, \hyperpage{54}
  \item \texttt  {IsLowerTriangularMatrix}, \hyperpage{54}
  \item \texttt  {IsMapOfFinitelyGeneratedModulesRep}, \hyperpage{89}
  \item \texttt  {IsMinusOne}, \hyperpage{40}
  \item \texttt  {IsMonomorphism}
    \subitem for chain maps, \hyperpage{108}
    \subitem for maps, \hyperpage{93}
    \subitem for ring maps, \hyperpage{45}
  \item \texttt  {IsMorphism}
    \subitem for chain maps, \hyperpage{108}
    \subitem for maps, \hyperpage{92}
    \subitem for ring maps, \hyperpage{45}
  \item \texttt  {IsMutableMatrix}, \hyperpage{55}
  \item \texttt  {IsNoetherian}, \hyperpage{38}
  \item \texttt  {IsOreDomain}, \hyperpage{39}
  \item \texttt  {IsPermutationMatrix}, \hyperpage{52}
  \item \texttt  {IsPreHomalgRing}, \hyperpage{32}
  \item \texttt  {IsPrimeIdeal}, \hyperpage{82}
  \item \texttt  {IsPrincipalIdealRing}, \hyperpage{39}
  \item \texttt  {IsProjective}, \hyperpage{81}
  \item \texttt  {IsPure}, \hyperpage{82}
  \item \texttt  {IsQuasiIsomorphism}
    \subitem for chain maps, \hyperpage{109}
  \item \texttt  {IsRationalsForHomalg}, \hyperpage{34}
  \item \texttt  {IsReduced}, \hyperpage{73}
  \item \texttt  {IsReducedBasisOfColumnsMatrix}, \hyperpage{55}
  \item \texttt  {IsReducedBasisOfRowsMatrix}, \hyperpage{55}
  \item \texttt  {IsReflexive}, \hyperpage{81}
  \item \texttt  {IsRegular}, \hyperpage{39}
  \item \texttt  {IsRelationsOfFinitelyPresentedModuleRep}, 
		\hyperpage{71}
  \item \texttt  {IsResidueClassRingOfTheIntegers}, \hyperpage{35}
  \item \texttt  {IsRightAcyclic}, \hyperpage{101}
  \item \texttt  {IsRightArtinian}, \hyperpage{39}
  \item \texttt  {IsRightFiniteFreePresentationRing}, \hyperpage{40}
  \item \texttt  {IsRightGlobalDimensionFinite}, \hyperpage{36}
  \item \texttt  {IsRightHereditary}, \hyperpage{37}
  \item \texttt  {IsRightHermite}, \hyperpage{38}
  \item \texttt  {IsRightInvertibleMatrix}, \hyperpage{53}
  \item \texttt  {IsRightNoetherian}, \hyperpage{38}
  \item \texttt  {IsRightOreDomain}, \hyperpage{39}
  \item \texttt  {IsRightPrincipalIdealRing}, \hyperpage{39}
  \item \texttt  {IsRightRegularMatrix}, \hyperpage{53}
  \item \texttt  {IsScalarlMatrix}, \hyperpage{54}
  \item \texttt  {IsSemiLocalRing}, \hyperpage{37}
  \item \texttt  {IsSemiSimpleRing}, \hyperpage{40}
  \item \texttt  {IsSequence}, \hyperpage{101}
  \item \texttt  {IsShortExactSequence}, \hyperpage{102}
  \item \texttt  {IsSimpleRing}, \hyperpage{40}
  \item \texttt  {IsSpecialSubidentityMatrix}, \hyperpage{52}
  \item \texttt  {IsSpectral}\discretionary {-}{}{}\texttt  {Cosequence}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}, 
		\hyperpage{121}
  \item \texttt  {IsSpectral}\discretionary {-}{}{}\texttt  {Sequence}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}, 
		\hyperpage{121}
  \item \texttt  {IsSplitEpimorphism}
    \subitem for chain maps, \hyperpage{109}
    \subitem for maps, \hyperpage{93}
  \item \texttt  {IsSplitMonomorphism}
    \subitem for chain maps, \hyperpage{109}
    \subitem for maps, \hyperpage{93}
  \item \texttt  {IsSplitShortExactSequence}, \hyperpage{102}
  \item \texttt  {IsStableSheet}, \hyperpage{119}
  \item \texttt  {IsStablyFree}, \hyperpage{81}
  \item \texttt  {IsStrictLowerTriangularMatrix}, \hyperpage{54}
  \item \texttt  {IsStrictUpperTriangularMatrix}, \hyperpage{54}
  \item \texttt  {IsSubidentityMatrix}, \hyperpage{53}
  \item \texttt  {IsTorsion}, \hyperpage{82}
  \item \texttt  {IsTorsionFree}, \hyperpage{81}
  \item \texttt  {IsTransposedWRTTheAssociatedComplex}, \hyperpage{113}
  \item \texttt  {IsTriangle}, \hyperpage{102}
  \item \texttt  {IsTriangularMatrix}, \hyperpage{54}
  \item \texttt  {IsUniqueFactorizationDomain}, \hyperpage{35}
  \item \texttt  {IsUpperStairCaseMatrix}, \hyperpage{54}
  \item \texttt  {IsUpperTriangularMatrix}, \hyperpage{54}
  \item \texttt  {IsVoidMatrix}, \hyperpage{55}
  \item \texttt  {IsWeylRing}, \hyperpage{36}
  \item \texttt  {IsZero}
    \subitem for matrices, \hyperpage{52}
  \item \texttt  {IsZeroMatrix}
    \subitem homalgTable entry, \hyperpage{170}
    \subitem ResidueClassRing, \hyperpage{207}

  \indexspace

  \item \texttt  {Kernel}
    \subitem for maps, \hyperpage{133}
    \subitem for ring maps, \hyperpage{46}
  \item \texttt  {KernelEmb}
    \subitem for maps, \hyperpage{95}
    \subitem for ring maps, \hyperpage{46}
  \item \texttt  {KernelSubmodule}
    \subitem for maps, \hyperpage{94}
    \subitem for ring maps, \hyperpage{46}
  \item \texttt  {KroneckerMat}
    \subitem for matrices, \hyperpage{59}
    \subitem homalgTable entry, \hyperpage{169}
    \subitem ResidueClassRing, \hyperpage{205}
  \item \texttt  {KrullDimension}, \hyperpage{43}

  \indexspace

  \item \texttt  {LeftDerivedFunctor}
    \subitem constructor of the left derived functor of a covariant functor, 
		\hyperpage{128}
  \item \texttt  {LeftDivide}
    \subitem for pairs matrices and a set of relations, \hyperpage{67}
    \subitem for pairs of matrices, \hyperpage{66}
    \subitem for triples of matrices, \hyperpage{67}
  \item \texttt  {LeftGlobalDimension}, \hyperpage{43}
  \item \texttt  {LeftInverse}
    \subitem for matrices, \hyperpage{57}
  \item \texttt  {LeftPresentation}
    \subitem constructor for left modules, \hyperpage{75}
  \item \texttt  {LeftSatelliteOfFunctor}
    \subitem constructor of the left satellite of a covariant functor, 
		\hyperpage{127}
  \item \texttt  {LeftSubmodule}
    \subitem constructor for left submodules, \hyperpage{79}
  \item \texttt  {LTensorProduct}, \hyperpage{147}

  \indexspace

  \item \texttt  {MatrixOfWeightsOfIndeterminates}, \hyperpage{42}
  \item \texttt  {MinusOne}, \hyperpage{41}
  \item \texttt  {MorphismAidMap}
    \subitem for maps, \hyperpage{95}
  \item \texttt  {MulMat}
    \subitem homalgTable entry, \hyperpage{169}
    \subitem ResidueClassRing, \hyperpage{206}

  \indexspace

  \item \texttt  {NameOfFunctor}, \hyperpage{150}
  \item \texttt  {NatTrIdToHomHom{\textunderscore }R}
    \subitem for maps, \hyperpage{84}
  \item \texttt  {NonZeroColumns}, \hyperpage{56}
  \item \texttt  {NonZeroRows}, \hyperpage{56}
  \item \texttt  {NrColumns}, \hyperpage{56}
    \subitem homalgTable entry, \hyperpage{171}
    \subitem ResidueClassRing, \hyperpage{207}
  \item \texttt  {NrRows}, \hyperpage{56}
    \subitem homalgTable entry, \hyperpage{170}
    \subitem ResidueClassRing, \hyperpage{207}

  \indexspace

  \item \texttt  {One}
    \subitem for homalg ring elements, \hyperpage{41}
    \subitem for homalg rings, \hyperpage{41}

  \indexspace

  \item \texttt  {PositionOfFirstNonZeroEntryPerColumn}, \hyperpage{57}
  \item \texttt  {PositionOfFirstNonZeroEntryPerRow}, \hyperpage{57}
  \item \texttt  {PreInverse}
    \subitem for maps, \hyperpage{97}
  \item \texttt  {PrimaryDecomposition}, \hyperpage{84}
  \item \texttt  {ProcedureToReadjustGenerators}, \hyperpage{73}
  \item \texttt  {ProjectiveDimension}, \hyperpage{84}
  \item \texttt  {PurityFiltration}, \hyperpage{85}

  \indexspace

  \item \texttt  {Range}
    \subitem for chain maps, \hyperpage{110}
    \subitem for maps, \hyperpage{94}
    \subitem for ring maps, \hyperpage{46}
  \item \texttt  {RankOfModule}, \hyperpage{84}
  \item \texttt  {ReducedBasisOfColumnModule}
    \subitem for matrices, \hyperpage{63}
  \item \texttt  {ReducedBasisOfRowModule}
    \subitem for matrices, \hyperpage{63}
  \item \texttt  {ReducedSyzygiesGeneratorsOfColumns}
    \subitem for matrices, \hyperpage{63}
  \item \texttt  {ReducedSyzygiesGeneratorsOfRows}
    \subitem for matrices, \hyperpage{63}
  \item \texttt  {ReducedSyzygiesOfColumns}
    \subitem for matrices, \hyperpage{65}
    \subitem for pairs of matrices, \hyperpage{65}
  \item \texttt  {ReducedSyzygiesOfRows}
    \subitem for matrices, \hyperpage{65}
    \subitem for pairs of matrices, \hyperpage{65}
  \item \texttt  {RelativeSyzygiesGeneratorsOfColumns}
    \subitem ResidueClassRing, \hyperpage{201}
  \item \texttt  {RelativeSyzygiesGeneratorsOfRows}
    \subitem ResidueClassRing, \hyperpage{201}
  \item \texttt  {ResidueClassRing}, \hyperpage{83}
  \item \texttt  {RHom}, \hyperpage{144}
  \item \texttt  {RightDerivedCofunctor}
    \subitem constructor of the right derived functor of a contravariant functor, 
		\hyperpage{128}
  \item \texttt  {RightDivide}
    \subitem for pairs matrices and a set of relations, \hyperpage{66}
    \subitem for pairs of matrices, \hyperpage{65}
    \subitem for triples of matrices, \hyperpage{66}
  \item \texttt  {RightGlobalDimension}, \hyperpage{43}
  \item \texttt  {RightInverse}
    \subitem for matrices, \hyperpage{57}
  \item \texttt  {RightPresentation}
    \subitem constructor for right modules, \hyperpage{76}
  \item \texttt  {RightSatelliteOfCofunctor}
    \subitem constructor of the right satellite of a contravariant functor, 
		\hyperpage{127}
  \item \texttt  {RightSubmodule}
    \subitem constructor for right submodules, \hyperpage{80}
  \item \texttt  {RingElementConstructor}, \hyperpage{41}
  \item \texttt  {RingMap}
    \subitem constructor for ring maps, \hyperpage{44}
  \item \texttt  {RowRankOfMatrix}, \hyperpage{57}

  \indexspace

  \item \texttt  {Saturate}
    \subitem for ideals, \hyperpage{87}
  \item \texttt  {Source}
    \subitem for chain maps, \hyperpage{110}
    \subitem for maps, \hyperpage{94}
    \subitem for ring maps, \hyperpage{46}
  \item \texttt  {SpectralSequence}
    \subitem for bicomplexes, \hyperpage{113}
  \item \texttt  {StableRank}, \hyperpage{43}
  \item \texttt  {SubMat}
    \subitem homalgTable entry, \hyperpage{169}
    \subitem ResidueClassRing, \hyperpage{206}
  \item \texttt  {SubmoduleQuotient}
    \subitem for submodules, \hyperpage{87}
  \item \texttt  {Subobject}
    \subitem constructor for submodules using a list of ring elements, 
		\hyperpage{79}
    \subitem constructor for submodules using maps, \hyperpage{79}
    \subitem constructor for submodules using matrices, \hyperpage{79}
  \item \texttt  {SuperObject}
    \subitem for submodules, \hyperpage{86}
  \item \texttt  {SyzygiesGeneratorsOfColumns}
    \subitem for matrices, \hyperpage{62}
    \subitem for pairs of matrices, \hyperpage{62}
    \subitem ResidueClassRing, \hyperpage{198}
  \item \texttt  {SyzygiesGeneratorsOfRows}
    \subitem for matrices, \hyperpage{62}
    \subitem for pairs of matrices, \hyperpage{62}
    \subitem ResidueClassRing, \hyperpage{197}
  \item \texttt  {SyzygiesOfColumns}
    \subitem for matrices, \hyperpage{65}
    \subitem for pairs of matrices, \hyperpage{65}
  \item \texttt  {SyzygiesOfRows}
    \subitem for matrices, \hyperpage{65}
    \subitem for pairs of matrices, \hyperpage{65}

  \indexspace

  \item \texttt  {TensorProduct}, \hyperpage{140}
  \item \texttt  {TheIdentityMorphism}, \hyperpage{83}
  \item \texttt  {TheZeroMorphism}, \hyperpage{83}
  \item \texttt  {Tor}, \hyperpage{143}
  \item \texttt  {TotalComplex}, \hyperpage{113}
  \item \texttt  {TypeOfHomalgMatrix}, \hyperpage{41}

  \indexspace

  \item \texttt  {UnderlyingComplex}, \hyperpage{113}
  \item \texttt  {UnderlyingObject}
    \subitem for submodules, \hyperpage{86}
  \item \texttt  {UnderlyingSubobject}, \hyperpage{83}
  \item \texttt  {UnionOfColumns}
    \subitem for matrices, \hyperpage{59}
    \subitem homalgTable entry, \hyperpage{168}
    \subitem ResidueClassRing, \hyperpage{204}
  \item \texttt  {UnionOfRows}
    \subitem for matrices, \hyperpage{58}
    \subitem homalgTable entry, \hyperpage{168}
    \subitem ResidueClassRing, \hyperpage{204}

  \indexspace

  \item \texttt  {WeightsOfIndeterminates}, \hyperpage{42}

  \indexspace

  \item \texttt  {Zero}
    \subitem for homalg ring elements, \hyperpage{40}
    \subitem for homalg rings, \hyperpage{41}
  \item \texttt  {ZeroColumns}, \hyperpage{56}
    \subitem homalgTable entry, \hyperpage{175}
    \subitem ResidueClassRing, \hyperpage{208}
  \item \texttt  {ZeroMatrix}
    \subitem homalgTable entry, \hyperpage{167}
    \subitem homalgTable entry for initial matrices, \hyperpage{167}
    \subitem ResidueClassRing, \hyperpage{202}
  \item \texttt  {ZeroRows}, \hyperpage{56}
    \subitem homalgTable entry, \hyperpage{175}
    \subitem ResidueClassRing, \hyperpage{208}

\end{theindex}
