Objects
Objects: Category and Representations <#Include Label="IsHomalgObject"> <#Include Label="IsHomalgStaticObject"> <#Include Label="IsFinitelyPresentedObjectRep"> <#Include Label="IsStaticFinitelyPresentedObjectOrSubobjectRep"> <#Include Label="IsStaticFinitelyPresentedObjectRep"> <#Include Label="IsStaticFinitelyPresentedSubobjectRep">
Objects: Constructors <#Include Label="Subobject">
Objects: Properties <#Include Label="IsFree"> <#Include Label="IsStablyFree"> <#Include Label="IsProjective"> <#Include Label="IsProjectiveOfConstantRank"> <#Include Label="IsInjective"> <#Include Label="IsInjectiveCogenerator"> <#Include Label="FiniteFreeResolutionExists"> <#Include Label="IsReflexive"> <#Include Label="IsTorsionFree"> <#Include Label="IsArtinian"> <#Include Label="IsTorsion"> <#Include Label="IsPure"> <#Include Label="IsCohenMacaulay"> <#Include Label="IsGorenstein"> <#Include Label="IsKoszul"> <#Include Label="HasConstantRank"> <#Include Label="ConstructedAsAnIdeal">
Objects: Attributes <#Include Label="TorsionSubobject"> <#Include Label="TheMorphismToZero"> <#Include Label="TheIdentityMorphism"> <#Include Label="FullSubobject"> <#Include Label="ZeroSubobject"> <#Include Label="EmbeddingInSuperObject"> <#Include Label="SuperObject:subobjects"> <#Include Label="FactorObject"> <#Include Label="UnderlyingSubobject"> <#Include Label="NatTrIdToHomHom_R"> <#Include Label="Annihilator:objects"> <#Include Label="EndomorphismRing"> <#Include Label="UnitObject"> <#Include Label="RankOfObject"> <#Include Label="ProjectiveDimension"> <#Include Label="DegreeOfTorsionFreeness"> <#Include Label="Grade"> <#Include Label="PurityFiltration"> <#Include Label="CodegreeOfPurity"> <#Include Label="HilbertPolynomial"> <#Include Label="AffineDimension"> <#Include Label="ProjectiveDegree"> <#Include Label="ConstantTermOfHilbertPolynomial"> <#Include Label="ElementOfGrothendieckGroup"> <#Include Label="ChernPolynomial"> <#Include Label="ChernCharacter">
Objects: Operations and Functions <#Include Label="CurrentResolution"> <#Include Label="UnderlyingObject"> <#Include Label="Saturate">