\begin{theindex}

  \item \texttt  {\texttt  {\char 92\relax }*}
    \subitem constructor for ideal multiples, \hyperpage{34}
    \subitem TensorProduct, \hyperpage{51}
    \subitem transfer a module over a different ring, \hyperpage{26}
    \subitem transfer a module over a different ring (right), 
		\hyperpage{26}
  \item \textsf{Modules}, \hyperpage{6}

  \indexspace

  \item \texttt  {AffineDegree}, \hyperpage{32}

  \indexspace

  \item \texttt  {ByASmallerPresentation}
    \subitem for modules, \hyperpage{33}

  \indexspace

  \item \texttt  {CanBeUsedToDecideZeroEffectively}, \hyperpage{19}
  \item \texttt  {CayleyDeterminant}, \hyperpage{66}
  \item \texttt  {Coefficients}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Numerator}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Hilbert}\discretionary {-}{}{}\texttt  {Poincare}\discretionary {-}{}{}\texttt  {Series}, 
		\hyperpage{32}
  \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{31}
  \item \texttt  {Cokernel}, \hyperpage{42}

  \indexspace

  \item \texttt  {DataOfHilbertFunction}, \hyperpage{32}
  \item \texttt  {DefectOfExactness}, \hyperpage{46}

  \indexspace

  \item \texttt  {ElementaryDivisors}, \hyperpage{31}
  \item \texttt  {Ext}, \hyperpage{54}
  \item \texttt  {ExteriorAlgebra}, \hyperpage{31}
  \item \texttt  {ExteriorPower}, \hyperpage{64}
  \item \texttt  {ExteriorPowerBaseModule}, \hyperpage{65}
  \item \texttt  {ExteriorPowerElementDual}, \hyperpage{65}
  \item \texttt  {ExteriorPowerExponent}, \hyperpage{64}

  \indexspace

  \item \texttt  {FittingIdeal}, \hyperpage{31}
  \item \texttt  {functor{\textunderscore }Cokernel}, \hyperpage{42}
  \item \texttt  {Functor{\textunderscore }Ext}, \hyperpage{54}
  \item \texttt  {Functor{\textunderscore }Hom}, \hyperpage{46}
  \item \texttt  {Functor{\textunderscore }HomHom}, \hyperpage{62}
  \item \texttt  {functor{\textunderscore }ImageObject}, \hyperpage{43}
  \item \texttt  {Functor{\textunderscore }LHomHom}, \hyperpage{62}
  \item \texttt  {Functor{\textunderscore }}\discretionary {-}{}{}\texttt  {L}\discretionary {-}{}{}\texttt  {Tensor}\discretionary {-}{}{}\texttt  {Product}, 
		\hyperpage{59}
  \item \texttt  {Functor{\textunderscore }RHom}, \hyperpage{56}
  \item \texttt  {Functor{\textunderscore }}\discretionary {-}{}{}\texttt  {Tensor}\discretionary {-}{}{}\texttt  {Product}, 
		\hyperpage{51}
  \item \texttt  {Functor{\textunderscore }Tor}, \hyperpage{55}

  \indexspace

  \item \texttt  {Gcd{\textunderscore }}\discretionary {-}{}{}\texttt  {Using}\discretionary {-}{}{}\texttt  {Cayley}\discretionary {-}{}{}\texttt  {Determinant}, 
		\hyperpage{66}

  \indexspace

  \item \texttt  {HilbertFunction}, \hyperpage{32}
  \item \texttt  {HilbertPoincareSeries}, \hyperpage{32}
  \item \texttt  {Hom}, \hyperpage{47}
  \item \texttt  {HomalgFreeLeftModule}
    \subitem constructor for free left modules, \hyperpage{25}
  \item \texttt  {HomalgFreeRightModule}
    \subitem constructor for free right modules, \hyperpage{25}
  \item \texttt  {HomalgIdentityMap}
    \subitem constructor for identity maps, \hyperpage{38}
  \item \texttt  {HomalgMap}
    \subitem constructor for maps, \hyperpage{36}
    \subitem constructor for maps between free modules, \hyperpage{36}
  \item \texttt  {HomalgRing}, \hyperpage{39}
    \subitem for module elements, \hyperpage{41}
    \subitem for modules, \hyperpage{33}
  \item \texttt  {HomalgZeroLeftModule}
    \subitem constructor for zero left modules, \hyperpage{25}
  \item \texttt  {HomalgZeroMap}
    \subitem constructor for zero maps, \hyperpage{38}
  \item \texttt  {HomalgZeroRightModule}
    \subitem constructor for zero right modules, \hyperpage{25}

  \indexspace

  \item \texttt  {ImageObject}, \hyperpage{44}
  \item \texttt  {IndexOfRegularity}, \hyperpage{32}
  \item \texttt  {IsCyclic}, \hyperpage{29}
  \item \texttt  {IsElement}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Module}\discretionary {-}{}{}\texttt  {Given}\discretionary {-}{}{}\texttt  {By}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {MorphismRep}, 
		\hyperpage{40}
  \item \texttt  {IsElementOfIntegers}, \hyperpage{40}
  \item \texttt  {IsExteriorPower}, \hyperpage{64}
  \item \texttt  {IsExteriorPowerElement}, \hyperpage{65}
  \item \texttt  {IsFinitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {Module}\discretionary {-}{}{}\texttt  {Or}\discretionary {-}{}{}\texttt  {SubmoduleRep}, 
		\hyperpage{23}
  \item \texttt  {IsFinitelyPresentedModuleRep}, \hyperpage{23}
  \item \texttt  {IsFinitelyPresentedSubmoduleRep}, \hyperpage{23}
  \item \texttt  {IsGenerators}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Generated}\discretionary {-}{}{}\texttt  {ModuleRep}, 
		\hyperpage{21}
  \item \texttt  {IsGeneratorsOfModuleRep}, \hyperpage{21}
  \item \texttt  {IsHolonomic}, \hyperpage{29}
  \item \texttt  {IsHomalgElement}, \hyperpage{40}
  \item \texttt  {IsHomalgGenerators}, \hyperpage{20}
  \item \texttt  {IsHomalgGeneratorsOfLeftModule}, \hyperpage{20}
  \item \texttt  {IsHomalgGeneratorsOfRightModule}, \hyperpage{20}
  \item \texttt  {IsHomalgMap}, \hyperpage{35}
  \item \texttt  {IsHomalgModule}, \hyperpage{22}
  \item \texttt  {IsHomalgRelations}, \hyperpage{18}
  \item \texttt  {IsHomalgRelationsOfLeftModule}, \hyperpage{18}
  \item \texttt  {IsHomalgRelationsOfRightModule}, \hyperpage{18}
  \item \texttt  {IsHomalgSelfMap}, \hyperpage{35}
  \item \texttt  {IsInjectivePresentation}, \hyperpage{19}
  \item \texttt  {IsMapOfFinitelyGeneratedModulesRep}, \hyperpage{36}
  \item \texttt  {IsPrimeIdeal}, \hyperpage{30}
  \item \texttt  {IsPrimeModule}
    \subitem for modules, \hyperpage{30}
  \item \texttt  {IsReduced}
    \subitem for generators, \hyperpage{21}
    \subitem for modules, \hyperpage{29}
  \item \texttt  {IsRelations}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ModuleRep}, 
		\hyperpage{19}
  \item \texttt  {IsSymmetricPower}, \hyperpage{63}

  \indexspace

  \item \texttt  {Kernel}
    \subitem for maps, \hyperpage{45}
    \subitem for ring maps, \hyperpage{17}
  \item \texttt  {KernelEmb}
    \subitem for ring maps, \hyperpage{17}
  \item \texttt  {KernelSubobject}
    \subitem for ring maps, \hyperpage{17}
  \item \texttt  {KoszulCocomplex}, \hyperpage{65}

  \indexspace

  \item \texttt  {Largest}\discretionary {-}{}{}\texttt  {Minimal}\discretionary {-}{}{}\texttt  {Number}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Local}\discretionary {-}{}{}\texttt  {Generators}, 
		\hyperpage{31}
  \item \texttt  {LeftPresentation}
    \subitem constructor for left modules, \hyperpage{24}
  \item \texttt  {LeftSubmodule}
    \subitem constructor for left submodules, \hyperpage{28}
  \item \texttt  {LTensorProduct}, \hyperpage{59}

  \indexspace

  \item \texttt  {ModuleOfKaehlerDifferentials}, \hyperpage{30}

  \indexspace

  \item \texttt  {NonFlatLocus}, \hyperpage{31}
  \item \texttt  {NumeratorOfHilbertPoincareSeries}, \hyperpage{32}

  \indexspace

  \item \texttt  {PreInverse}, \hyperpage{39}
  \item \texttt  {PrimaryDecomposition}, \hyperpage{30}
  \item \texttt  {ProcedureToReadjustGenerators}, \hyperpage{21}

  \indexspace

  \item \texttt  {RadicalDecomposition}, \hyperpage{30}
  \item \texttt  {RadicalSubobject}, \hyperpage{31}
  \item \texttt  {ResidueClassRing}, \hyperpage{30}
  \item \texttt  {RHom}, \hyperpage{57}
  \item \texttt  {RightPresentation}
    \subitem constructor for right modules, \hyperpage{24}
  \item \texttt  {RightSubmodule}
    \subitem constructor for right submodules, \hyperpage{29}

  \indexspace

  \item \texttt  {SingleValueOfExteriorPowerElement}, \hyperpage{65}
  \item \texttt  {Subobject}
    \subitem constructor for submodules using a list of ring elements, 
		\hyperpage{28}
    \subitem constructor for submodules using matrices, \hyperpage{28}
  \item \texttt  {SubobjectQuotient}
    \subitem for submodules, \hyperpage{34}
  \item \texttt  {SymmetricAlgebra}, \hyperpage{31}
  \item \texttt  {SymmetricPower}, \hyperpage{63}
  \item \texttt  {SymmetricPowerBaseModule}, \hyperpage{63}
  \item \texttt  {SymmetricPowerExponent}, \hyperpage{63}

  \indexspace

  \item \texttt  {TensorProduct}, \hyperpage{51}
  \item \texttt  {Tor}, \hyperpage{55}

  \indexspace

  \item \texttt  {Unreduced}\discretionary {-}{}{}\texttt  {Numerator}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Hilbert}\discretionary {-}{}{}\texttt  {Poincare}\discretionary {-}{}{}\texttt  {Series}, 
		\hyperpage{32}

  \indexspace

  \item \texttt  {Wedge}
    \subitem for elements of exterior powers of free modules, 
		\hyperpage{65}

\end{theindex}
