\begin{theindex}

  \item \texttt  {\texttt  {\char 92\relax }*}
    \subitem copy a matrix over a different ring, \hyperpage{30}
    \subitem copy a matrix over a different ring (right), 
		\hyperpage{30}
    \subitem for composable matrices, \hyperpage{42}
    \subitem for ring elements and matrices, \hyperpage{42}
  \item \texttt  {\texttt  {\char 92\relax }+}
    \subitem for matrices, \hyperpage{42}
  \item \texttt  {\texttt  {\char 92\relax }-}
    \subitem for matrices, \hyperpage{42}
  \item \texttt  {\texttt  {\char 92\relax }/}
    \subitem constructor for residue class rings, \hyperpage{10}
  \item \texttt  {\texttt  {\char 92\relax }=}
    \subitem for matrices, \hyperpage{42}
  \item \textsf{MatricesForHomalg}, \hyperpage{5}

  \indexspace

  \item \texttt  {AddMat}
    \subitem homalgTable entry, \hyperpage{58}
    \subitem ResidueClassRing, \hyperpage{97}
  \item \texttt  {AffineDegree}, \hyperpage{37}
  \item \texttt  {AffineDimension}, \hyperpage{37}
  \item \texttt  {AreEqualMatrices}
    \subitem homalgTable entry, \hyperpage{62}
    \subitem ResidueClassRing, \hyperpage{99}
  \item \texttt  {AreUnitsCentral}, \hyperpage{18}
  \item \texttt  {AssociatedGradedRing}, \hyperpage{22}

  \indexspace

  \item \texttt  {Basis}\discretionary {-}{}{}\texttt  {Algorithm}\discretionary {-}{}{}\texttt  {Respects}\discretionary {-}{}{}\texttt  {Principal}\discretionary {-}{}{}\texttt  {Ideals}, 
		\hyperpage{18}
  \item \texttt  {BasisOfColumnModule}
    \subitem for matrices, \hyperpage{44}
    \subitem ResidueClassRing, \hyperpage{87}
  \item \texttt  {BasisOfColumns}
    \subitem for matrices, \hyperpage{47}
    \subitem for pairs of matrices, \hyperpage{47}
  \item \texttt  {BasisOfColumnsCoeff}
    \subitem for matrices, \hyperpage{46}
    \subitem ResidueClassRing, \hyperpage{90}
  \item \texttt  {BasisOfRowModule}
    \subitem for matrices, \hyperpage{44}
    \subitem ResidueClassRing, \hyperpage{87}
  \item \texttt  {BasisOfRows}
    \subitem for matrices, \hyperpage{47}
    \subitem for pairs of matrices, \hyperpage{47}
  \item \texttt  {BasisOfRowsCoeff}
    \subitem for matrices, \hyperpage{46}
    \subitem ResidueClassRing, \hyperpage{90}

  \indexspace

  \item \texttt  {CanBeUsedToDecideZero}, \hyperpage{53}
  \item \texttt  {CertainColumns}
    \subitem for matrices, \hyperpage{41}
    \subitem homalgTable entry, \hyperpage{57}
    \subitem ResidueClassRing, \hyperpage{95}
  \item \texttt  {CertainRows}
    \subitem for matrices, \hyperpage{41}
    \subitem homalgTable entry, \hyperpage{57}
    \subitem ResidueClassRing, \hyperpage{94}
  \item \texttt  {Coefficients}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Numerator}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Hilbert}\discretionary {-}{}{}\texttt  {Poincare}\discretionary {-}{}{}\texttt  {Series}, 
		\hyperpage{37}
  \item \texttt  {Coefficients}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Unreduced}\discretionary {-}{}{}\texttt  {Numerator}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Hilbert}\discretionary {-}{}{}\texttt  {Poincare}\discretionary {-}{}{}\texttt  {Series}, 
		\hyperpage{37}
  \item \texttt  {CoefficientsRing}, \hyperpage{21}
  \item \texttt  {ColumnRankOfMatrix}, \hyperpage{36}
  \item \texttt  {Compose}
    \subitem homalgTable entry, \hyperpage{58}
    \subitem ResidueClassRing, \hyperpage{98}
  \item \texttt  {ConstantTermOfHilbertPolynomialn}, \hyperpage{38}
  \item \texttt  {ConstructorForHomalgMatrices}, \hyperpage{19}
  \item \texttt  {ContainsAField}, \hyperpage{11}
  \item \texttt  {CoordinateRingOfGraph}
    \subitem for ring maps, \hyperpage{25}

  \indexspace

  \item \texttt  {DecideZero}
    \subitem for matrices and relations, \hyperpage{47}
  \item \texttt  {DecideZeroColumns}
    \subitem for pairs of matrices, \hyperpage{44}
    \subitem ResidueClassRing, \hyperpage{88}
  \item \texttt  {DecideZeroColumnsEffectively}
    \subitem for pairs of matrices, \hyperpage{47}
    \subitem ResidueClassRing, \hyperpage{91}
  \item \texttt  {DecideZeroRows}
    \subitem for pairs of matrices, \hyperpage{44}
    \subitem ResidueClassRing, \hyperpage{88}
  \item \texttt  {DecideZeroRowsEffectively}
    \subitem for pairs of matrices, \hyperpage{46}
    \subitem ResidueClassRing, \hyperpage{91}
  \item \texttt  {DegreeOfMorphism}
    \subitem for ring maps, \hyperpage{25}
  \item \texttt  {Determinant}
    \subitem homalgTable entry, \hyperpage{61}
    \subitem ResidueClassRing, \hyperpage{99}
  \item \texttt  {DeterminantMat}, \hyperpage{35}
  \item \texttt  {DiagMat}
    \subitem for matrices, \hyperpage{41}
    \subitem homalgTable entry, \hyperpage{58}
    \subitem ResidueClassRing, \hyperpage{96}

  \indexspace

  \item \texttt  {ElementaryRank}, \hyperpage{22}
  \item \texttt  {Eliminate}, \hyperpage{43}
  \item \texttt  {Eval}
    \subitem for matrices created with AddMat, \hyperpage{84}
    \subitem for matrices created with CertainColumns, \hyperpage{79}
    \subitem for matrices created with CertainRows, \hyperpage{78}
    \subitem for matrices created with Compose, \hyperpage{85}
    \subitem for matrices created with DiagMat, \hyperpage{81}
    \subitem for matrices created with HomalgIdentityMatrix, 
		\hyperpage{75}
    \subitem for matrices created with HomalgInitialIdentityMatrix, 
		\hyperpage{73}
    \subitem for matrices created with HomalgInitialMatrix, 
		\hyperpage{72}
    \subitem for matrices created with HomalgZeroMatrix, \hyperpage{74}
    \subitem for matrices created with Involution, \hyperpage{77}
    \subitem for matrices created with KroneckerMat, \hyperpage{82}
    \subitem for matrices created with LeftInverseLazy, \hyperpage{76}
    \subitem for matrices created with MulMat, \hyperpage{83}
    \subitem for matrices created with RightInverseLazy, \hyperpage{77}
    \subitem for matrices created with SubMat, \hyperpage{84}
    \subitem for matrices created with UnionOfColumns, \hyperpage{80}
    \subitem for matrices created with UnionOfRows, \hyperpage{79}

  \indexspace

  \item \texttt  {GeneralLinearRank}, \hyperpage{22}
  \item \texttt  {GenerateSameColumnModule}
    \subitem for pairs of matrices, \hyperpage{51}
  \item \texttt  {GenerateSameRowModule}
    \subitem for pairs of matrices, \hyperpage{51}
  \item \texttt  {GetColumnIndependentUnitPositions}
    \subitem for matrices, \hyperpage{43}
    \subitem homalgTable entry, \hyperpage{66}
  \item \texttt  {GetRowIndependentUnitPositions}
    \subitem for matrices, \hyperpage{43}
    \subitem homalgTable entry, \hyperpage{67}
  \item \texttt  {GetUnitPosition}
    \subitem for matrices, \hyperpage{43}
    \subitem homalgTable entry, \hyperpage{68}
  \item \texttt  {GlobalDimension}, \hyperpage{22}

  \indexspace

  \item \texttt  {HasInvariantBasisProperty}, \hyperpage{13}
  \item \texttt  {HasLeftInvariantBasisProperty}, \hyperpage{13}
  \item \texttt  {HasRightInvariantBasisProperty}, \hyperpage{14}
  \item \texttt  {HilbertPoincareSeries}, \hyperpage{37}
  \item \texttt  {HilbertPolynomial}, \hyperpage{37}
  \item \texttt  {HomalgDiagonalMatrix}
    \subitem constructor for diagonal matrices, \hyperpage{30}
  \item \texttt  {HomalgFieldOfRationals}
    \subitem constructor for the field of rationals, \hyperpage{10}
  \item \texttt  {HomalgIdentityMatrix}
    \subitem constructor for identity matrices, \hyperpage{28}
  \item \texttt  {HomalgInitialIdentityMatrix}
    \subitem constructor for initial quadratic matrices with ones on the diagonal, 
		\hyperpage{27}
  \item \texttt  {HomalgInitialMatrix}
    \subitem constructor for initial matrices filled with zeros, 
		\hyperpage{26}
  \item \texttt  {HomalgMatrix}
    \subitem constructor for matrices using a list, \hyperpage{29}
    \subitem constructor for matrices using a listlist, \hyperpage{29}
    \subitem constructor for matrices using a string of a list, 
		\hyperpage{29}
    \subitem constructor for matrices using a string of a listlist, 
		\hyperpage{29}
  \item \texttt  {homalgMode}, \hyperpage{103}
  \item \texttt  {HomalgRing}
    \subitem for matrices, \hyperpage{38}
  \item \texttt  {HomalgRingOfIntegers}
    \subitem constructor for the integers, \hyperpage{9}
    \subitem constructor for the residue class rings of the integers, 
		\hyperpage{9}
  \item \texttt  {homalgTable}, \hyperpage{19}
  \item \texttt  {HomalgVoidMatrix}
    \subitem constructor for void matrices, \hyperpage{28}
  \item \texttt  {HomalgZeroMatrix}
    \subitem constructor for zero matrices, \hyperpage{28}

  \indexspace

  \item \texttt  {IdentityMatrix}
    \subitem homalgTable entry, \hyperpage{57}
    \subitem ResidueClassRing, \hyperpage{94}
  \item \texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {Anti}\discretionary {-}{}{}\texttt  {Commuting}\discretionary {-}{}{}\texttt  {Variables}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Exterior}\discretionary {-}{}{}\texttt  {Ring}, 
		\hyperpage{21}
  \item \texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {Coordinates}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Ring}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Derivations}, 
		\hyperpage{20}
  \item \texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {Derivations}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Ring}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Derivations}, 
		\hyperpage{21}
  \item \texttt  {IndeterminatesOfExteriorRing}, \hyperpage{21}
  \item \texttt  {IndeterminatesOfPolynomialRing}, \hyperpage{20}
  \item \texttt  {InitialIdentityMatrix}
    \subitem homalgTable entry for initial identity matrices, 
		\hyperpage{56}
    \subitem ResidueClassRing, \hyperpage{93}
  \item \texttt  {InitialMatrix}
    \subitem homalgTable entry for initial matrices, \hyperpage{56}
    \subitem ResidueClassRing, \hyperpage{93}
  \item \texttt  {Inverse}
    \subitem for homalg ring elements, \hyperpage{19}
  \item \texttt  {Involution}
    \subitem for matrices, \hyperpage{40}
    \subitem homalgTable entry, \hyperpage{57}
    \subitem ResidueClassRing, \hyperpage{94}
  \item \texttt  {IsArtinian}
    \subitem for rings, \hyperpage{16}
  \item \texttt  {IsAutomorphism}
    \subitem for ring maps, \hyperpage{24}
  \item \texttt  {IsBasisOfColumnsMatrix}, \hyperpage{34}
  \item \texttt  {IsBasisOfRowsMatrix}, \hyperpage{34}
  \item \texttt  {IsBezoutRing}, \hyperpage{12}
  \item \texttt  {IsCohenMacaulay}, \hyperpage{15}
  \item \texttt  {IsDedekindDomain}, \hyperpage{12}
  \item \texttt  {IsDiagonalMatrix}, \hyperpage{33}
    \subitem homalgTable entry, \hyperpage{64}
    \subitem ResidueClassRing, \hyperpage{99}
  \item \texttt  {IsDiscreteValuationRing}, \hyperpage{12}
  \item \texttt  {IsDivisionRingForHomalg}, \hyperpage{11}
  \item \texttt  {IsEmptyMatrix}, \hyperpage{33}
  \item \texttt  {IsEpimorphism}
    \subitem for ring maps, \hyperpage{24}
  \item \texttt  {IsFieldForHomalg}, \hyperpage{11}
  \item \texttt  {IsFiniteFreePresentationRing}, \hyperpage{17}
  \item \texttt  {IsFreePolynomialRing}, \hyperpage{13}
  \item \texttt  {IsGlobalDimensionFinite}, \hyperpage{13}
  \item \texttt  {IsGorenstein}, \hyperpage{15}
  \item \texttt  {IsHereditary}, \hyperpage{14}
  \item \texttt  {IsHermite}, \hyperpage{14}
  \item \texttt  {IsHomalgInternalMatrixRep}, \hyperpage{26}
  \item \texttt  {IsHomalgInternalRingRep}, \hyperpage{9}
  \item \texttt  {IsHomalgMatrix}, \hyperpage{26}
  \item \texttt  {IsHomalgRing}, \hyperpage{8}
  \item \texttt  {IsHomalgRingElement}, \hyperpage{8}
  \item \texttt  {IsHomalgRingMap}, \hyperpage{23}
  \item \texttt  {IsHomalgRingMapRep}, \hyperpage{23}
  \item \texttt  {IsHomalgRingRelations}, \hyperpage{52}
  \item \texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Ring}\discretionary {-}{}{}\texttt  {Relations}\discretionary {-}{}{}\texttt  {As}\discretionary {-}{}{}\texttt  {Generators}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Left}\discretionary {-}{}{}\texttt  {Ideal}, 
		\hyperpage{52}
  \item \texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Ring}\discretionary {-}{}{}\texttt  {Relations}\discretionary {-}{}{}\texttt  {As}\discretionary {-}{}{}\texttt  {Generators}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Right}\discretionary {-}{}{}\texttt  {Ideal}, 
		\hyperpage{52}
  \item \texttt  {IsHomalgRingSelfMap}, \hyperpage{23}
  \item \texttt  {IsIdentityMatrix}
    \subitem homalgTable entry, \hyperpage{63}
  \item \texttt  {IsIdentityMorphism}
    \subitem for ring maps, \hyperpage{24}
  \item \texttt  {IsInitialIdentityMatrix}, \hyperpage{34}
  \item \texttt  {IsInitialMatrix}, \hyperpage{34}
  \item \texttt  {IsInjectivePresentation}, \hyperpage{53}
  \item \texttt  {IsIntegersForHomalg}, \hyperpage{12}
  \item \texttt  {IsIntegralDomain}, \hyperpage{14}
  \item \texttt  {IsIntegrallyClosedDomain}, \hyperpage{12}
  \item \texttt  {IsInvertibleMatrix}, \hyperpage{32}
  \item \texttt  {IsIsomorphism}
    \subitem for ring maps, \hyperpage{24}
  \item \texttt  {IsKaplanskyHermite}, \hyperpage{12}
  \item \texttt  {IsKoszul}, \hyperpage{15}
  \item \texttt  {IsLeftArtinian}, \hyperpage{16}
  \item \texttt  {IsLeftFiniteFreePresentationRing}, \hyperpage{17}
  \item \texttt  {IsLeftGlobalDimensionFinite}, \hyperpage{13}
  \item \texttt  {IsLeftHereditary}, \hyperpage{14}
  \item \texttt  {IsLeftHermite}, \hyperpage{15}
  \item \texttt  {IsLeftInvertibleMatrix}, \hyperpage{32}
  \item \texttt  {IsLeftNoetherian}, \hyperpage{15}
  \item \texttt  {IsLeftOreDomain}, \hyperpage{16}
  \item \texttt  {IsLeftPrincipalIdealRing}, \hyperpage{16}
  \item \texttt  {IsLeftRegular}, \hyperpage{32}
    \subitem for homalg ring elements, \hyperpage{18}
  \item \texttt  {IsLocal}, \hyperpage{14}
  \item \texttt  {IsLocalizedWeylRing}, \hyperpage{13}
  \item \texttt  {IsLowerStairCaseMatrix}, \hyperpage{34}
  \item \texttt  {IsLowerTriangularMatrix}, \hyperpage{33}
  \item \texttt  {IsMinusOne}, \hyperpage{18}
  \item \texttt  {IsMonic}
    \subitem for homalg ring elements, \hyperpage{18}
  \item \texttt  {IsMonicUptoUnit}
    \subitem for homalg ring elements, \hyperpage{18}
  \item \texttt  {IsMonomorphism}
    \subitem for ring maps, \hyperpage{24}
  \item \texttt  {IsMorphism}
    \subitem for ring maps, \hyperpage{24}
  \item \texttt  {IsNoetherian}, \hyperpage{15}
  \item \texttt  {IsOne}, \hyperpage{31}
    \subitem ResidueClassRing, \hyperpage{99}
  \item \texttt  {IsOreDomain}, \hyperpage{16}
  \item \texttt  {IsPermutationMatrix}, \hyperpage{32}
  \item \texttt  {IsPreHomalgRing}, \hyperpage{8}
  \item \texttt  {IsPrincipalIdealRing}, \hyperpage{16}
  \item \texttt  {IsRationalsForHomalg}, \hyperpage{11}
  \item \texttt  {IsReducedBasisOfColumnsMatrix}, \hyperpage{34}
  \item \texttt  {IsReducedBasisOfRowsMatrix}, \hyperpage{34}
  \item \texttt  {IsRegular}, \hyperpage{17}
    \subitem for homalg ring elements, \hyperpage{18}
  \item \texttt  {IsResidueClassRingOfTheIntegers}, \hyperpage{12}
  \item \texttt  {IsRightArtinian}, \hyperpage{16}
  \item \texttt  {IsRightFiniteFreePresentationRing}, \hyperpage{17}
  \item \texttt  {IsRightGlobalDimensionFinite}, \hyperpage{13}
  \item \texttt  {IsRightHereditary}, \hyperpage{14}
  \item \texttt  {IsRightHermite}, \hyperpage{15}
  \item \texttt  {IsRightInvertibleMatrix}, \hyperpage{32}
  \item \texttt  {IsRightNoetherian}, \hyperpage{15}
  \item \texttt  {IsRightOreDomain}, \hyperpage{16}
  \item \texttt  {IsRightPrincipalIdealRing}, \hyperpage{17}
  \item \texttt  {IsRightRegular}, \hyperpage{32}
    \subitem for homalg ring elements, \hyperpage{18}
  \item \texttt  {IsRingRelationsRep}, \hyperpage{52}
  \item \texttt  {IsScalarlMatrix}, \hyperpage{33}
  \item \texttt  {IsSemiLocalRing}, \hyperpage{14}
  \item \texttt  {IsSemiSimpleRing}, \hyperpage{17}
  \item \texttt  {IsSimpleRing}, \hyperpage{17}
  \item \texttt  {IsSpecialSubidentityMatrix}, \hyperpage{32}
  \item \texttt  {IsStrictLowerTriangularMatrix}, \hyperpage{33}
  \item \texttt  {IsStrictUpperTriangularMatrix}, \hyperpage{33}
  \item \texttt  {IsSubidentityMatrix}, \hyperpage{32}
  \item \texttt  {IsSuperCommutative}, \hyperpage{17}
  \item \texttt  {IsTriangularMatrix}, \hyperpage{34}
  \item \texttt  {IsUniqueFactorizationDomain}, \hyperpage{12}
  \item \texttt  {IsUnitFree}, \hyperpage{31}
  \item \texttt  {IsUpperStairCaseMatrix}, \hyperpage{33}
  \item \texttt  {IsUpperTriangularMatrix}, \hyperpage{33}
  \item \texttt  {IsVoidMatrix}, \hyperpage{35}
  \item \texttt  {IsWeylRing}, \hyperpage{13}
  \item \texttt  {IsZero}
    \subitem for matrices, \hyperpage{31}
    \subitem for rings, \hyperpage{11}
  \item \texttt  {IsZeroMatrix}
    \subitem homalgTable entry, \hyperpage{59}
    \subitem ResidueClassRing, \hyperpage{98}

  \indexspace

  \item \texttt  {KroneckerMat}
    \subitem for matrices, \hyperpage{41}
    \subitem homalgTable entry, \hyperpage{58}
    \subitem ResidueClassRing, \hyperpage{97}
  \item \texttt  {KrullDimension}, \hyperpage{21}

  \indexspace

  \item \texttt  {LeftDivide}
    \subitem for pairs of matrices, \hyperpage{48}
    \subitem for triples of matrices, \hyperpage{50}
  \item \texttt  {LeftGlobalDimension}, \hyperpage{22}
  \item \texttt  {LeftInverse}, \hyperpage{36}
    \subitem for matrices, \hyperpage{38}
  \item \texttt  {LeftInverseLazy}
    \subitem for matrices, \hyperpage{40}

  \indexspace

  \item \texttt  {MatrixOfSymbols}, \hyperpage{38}
  \item \texttt  {MinusOne}, \hyperpage{20}
  \item \texttt  {MulMat}
    \subitem homalgTable entry, \hyperpage{58}
    \subitem ResidueClassRing, \hyperpage{97}

  \indexspace

  \item \texttt  {NonZeroColumns}, \hyperpage{36}
  \item \texttt  {NonZeroRows}, \hyperpage{35}
  \item \texttt  {NrColumns}, \hyperpage{35}
    \subitem homalgTable entry, \hyperpage{60}
    \subitem ResidueClassRing, \hyperpage{98}
  \item \texttt  {NrRows}, \hyperpage{35}
    \subitem homalgTable entry, \hyperpage{59}
    \subitem ResidueClassRing, \hyperpage{98}
  \item \texttt  {NumeratorOfHilbertPoincareSeries}, \hyperpage{37}

  \indexspace

  \item \texttt  {One}
    \subitem for homalg rings, \hyperpage{20}

  \indexspace

  \item \texttt  {Position}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {First}\discretionary {-}{}{}\texttt  {Non}\discretionary {-}{}{}\texttt  {Zero}\discretionary {-}{}{}\texttt  {Entry}\discretionary {-}{}{}\texttt  {Per}\discretionary {-}{}{}\texttt  {Column}, 
		\hyperpage{36}
    \subitem homalgTable entry, \hyperpage{70}
  \item \texttt  {PositionOfFirstNonZeroEntryPerRow}, \hyperpage{36}
    \subitem homalgTable entry, \hyperpage{69}
  \item \texttt  {ProductOfIndeterminates}, \hyperpage{20}
  \item \texttt  {ProjectiveDegree}, \hyperpage{38}

  \indexspace

  \item \texttt  {Range}
    \subitem for ring maps, \hyperpage{25}
  \item \texttt  {RationalParameters}, \hyperpage{20}
  \item \texttt  {ReducedBasisOfColumnModule}
    \subitem for matrices, \hyperpage{45}
  \item \texttt  {ReducedBasisOfRowModule}
    \subitem for matrices, \hyperpage{45}
  \item \texttt  {ReducedSyzygiesGeneratorsOfColumns}
    \subitem for matrices, \hyperpage{46}
  \item \texttt  {ReducedSyzygiesGeneratorsOfRows}
    \subitem for matrices, \hyperpage{46}
  \item \texttt  {ReducedSyzygiesOfColumns}
    \subitem for matrices, \hyperpage{48}
    \subitem for pairs of matrices, \hyperpage{48}
  \item \texttt  {ReducedSyzygiesOfRows}
    \subitem for matrices, \hyperpage{48}
    \subitem for pairs of matrices, \hyperpage{48}
  \item \texttt  {Relative}\discretionary {-}{}{}\texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {Anti}\discretionary {-}{}{}\texttt  {Commuting}\discretionary {-}{}{}\texttt  {Variables}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Exterior}\discretionary {-}{}{}\texttt  {Ring}, 
		\hyperpage{21}
  \item \texttt  {Relative}\discretionary {-}{}{}\texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {Coordinates}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Ring}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Derivations}, 
		\hyperpage{21}
  \item \texttt  {Relative}\discretionary {-}{}{}\texttt  {Indeterminate}\discretionary {-}{}{}\texttt  {Derivations}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Ring}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Derivations}, 
		\hyperpage{21}
  \item \texttt  {Relative}\discretionary {-}{}{}\texttt  {Indeterminates}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Polynomial}\discretionary {-}{}{}\texttt  {Ring}, 
		\hyperpage{20}
  \item \texttt  {RelativeSyzygiesGeneratorsOfColumns}
    \subitem ResidueClassRing, \hyperpage{92}
  \item \texttt  {RelativeSyzygiesGeneratorsOfRows}
    \subitem ResidueClassRing, \hyperpage{92}
  \item \texttt  {RightDivide}
    \subitem for pairs of matrices, \hyperpage{48}
    \subitem for triples of matrices, \hyperpage{49}
  \item \texttt  {RightGlobalDimension}, \hyperpage{22}
  \item \texttt  {RightInverse}, \hyperpage{36}
    \subitem for matrices, \hyperpage{39}
  \item \texttt  {RightInverseLazy}
    \subitem for matrices, \hyperpage{40}
  \item \texttt  {RingElementConstructor}, \hyperpage{19}
  \item \texttt  {RingMap}
    \subitem constructor for ring maps, \hyperpage{23}
  \item \texttt  {RowRankOfMatrix}, \hyperpage{36}

  \indexspace

  \item \texttt  {Source}
    \subitem for ring maps, \hyperpage{25}
  \item \texttt  {StableRank}, \hyperpage{22}
  \item \texttt  {SubMat}
    \subitem homalgTable entry, \hyperpage{58}
    \subitem ResidueClassRing, \hyperpage{98}
  \item \texttt  {SyzygiesGeneratorsOfColumns}
    \subitem for matrices, \hyperpage{45}
    \subitem for pairs of matrices, \hyperpage{45}
    \subitem ResidueClassRing, \hyperpage{89}
  \item \texttt  {SyzygiesGeneratorsOfRows}
    \subitem for matrices, \hyperpage{45}
    \subitem for pairs of matrices, \hyperpage{45}
    \subitem ResidueClassRing, \hyperpage{88}
  \item \texttt  {SyzygiesOfColumns}
    \subitem for matrices, \hyperpage{48}
    \subitem for pairs of matrices, \hyperpage{48}
  \item \texttt  {SyzygiesOfRows}
    \subitem for matrices, \hyperpage{47}
    \subitem for pairs of matrices, \hyperpage{47}

  \indexspace

  \item \texttt  {TypeOfHomalgMatrix}, \hyperpage{19}

  \indexspace

  \item \texttt  {UnionOfColumns}
    \subitem for matrices, \hyperpage{41}
    \subitem homalgTable entry, \hyperpage{57}
    \subitem ResidueClassRing, \hyperpage{96}
  \item \texttt  {UnionOfRows}
    \subitem for matrices, \hyperpage{41}
    \subitem homalgTable entry, \hyperpage{57}
    \subitem ResidueClassRing, \hyperpage{95}
  \item \texttt  {Unreduced}\discretionary {-}{}{}\texttt  {Numerator}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Hilbert}\discretionary {-}{}{}\texttt  {Poincare}\discretionary {-}{}{}\texttt  {Series}, 
		\hyperpage{37}

  \indexspace

  \item \texttt  {Zero}
    \subitem for homalg rings, \hyperpage{20}
  \item \texttt  {ZeroColumns}, \hyperpage{35}
    \subitem homalgTable entry, \hyperpage{65}
    \subitem ResidueClassRing, \hyperpage{100}
  \item \texttt  {ZeroMatrix}
    \subitem homalgTable entry, \hyperpage{56}
    \subitem ResidueClassRing, \hyperpage{93}
  \item \texttt  {ZeroRows}, \hyperpage{35}
    \subitem homalgTable entry, \hyperpage{65}
    \subitem ResidueClassRing, \hyperpage{100}

\end{theindex}
