Modules <#Include Label="Modules:intro">
Modules: Category and Representations <#Include Label="IsHomalgModule"> <#Include Label="IsFinitelyPresentedModuleOrSubmoduleRep"> <#Include Label="IsFinitelyPresentedModuleRep"> <#Include Label="IsFinitelyPresentedSubmoduleRep">
Modules: Constructors <#Include Label="LeftPresentation"> <#Include Label="RightPresentation"> <#Include Label="HomalgFreeLeftModule"> <#Include Label="HomalgFreeRightModule"> <#Include Label="HomalgZeroLeftModule"> <#Include Label="HomalgZeroRightModule"> <#Include Label="\*:ModuleBaseChange"> <#Include Label="Subobject:matrix"> <#Include Label="Subobject:list"> <#Include Label="LeftSubmodule"> <#Include Label="RightSubmodule">
Modules: Properties <#Include Label="IsCyclic"> <#Include Label="IsHolonomic"> <#Include Label="IsReduced"> <#Include Label="IsPrimeIdeal"> <#Include Label="IsPrimeModule"> For more properties see the corresponding section ) in the documentation of the &homalg; package.
Modules: Attributes <#Include Label="ResidueClassRing"> <#Include Label="PrimaryDecomposition"> <#Include Label="RadicalDecomposition"> <#Include Label="ModuleOfKaehlerDifferentials"> <#Include Label="RadicalSubobject"> <#Include Label="SymmetricAlgebra"> <#Include Label="ExteriorAlgebra"> <#Include Label="ElementaryDivisors"> <#Include Label="FittingIdeal"> <#Include Label="NonFlatLocus"> <#Include Label="LargestMinimalNumberOfLocalGenerators"> <#Include Label="CoefficientsOfUnreducedNumeratorOfHilbertPoincareSeries"> <#Include Label="CoefficientsOfNumeratorOfHilbertPoincareSeries"> <#Include Label="UnreducedNumeratorOfHilbertPoincareSeries"> <#Include Label="NumeratorOfHilbertPoincareSeries"> <#Include Label="HilbertPoincareSeries"> <#Include Label="AffineDegree"> <#Include Label="DataOfHilbertFunction"> <#Include Label="HilbertFunction"> <#Include Label="IndexOfRegularity"> For more attributes see the corresponding section ) in the documentation of the &homalg; package.
Modules: Operations and Functions <#Include Label="HomalgRing:module"> <#Include Label="ByASmallerPresentation:module"> <#Include Label="SubmoduleOfIdealMultiples"> <#Include Label="SubobjectQuotient">