\indexentry{\textsf{homalg}|hyperpage}{7}
\indexentry{IsHomalgObject@\texttt  {IsHomalgObject}|hyperpage}{11}
\indexentry{IsHomalgStaticObject@\texttt  {IsHomalgStaticObject}|hyperpage}{11}
\indexentry{IsFinitelyPresentedObjectRep@\texttt  {IsFinitelyPresentedObjectRep}|hyperpage}{11}
\indexentry{IsStaticFinitelyPresentedObjectOrSubobjectRep@\texttt  {IsStatic}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Or}\discretionary {-}{}{}\texttt  {SubobjectRep}|hyperpage}{12}
\indexentry{IsStaticFinitelyPresentedObjectRep@\texttt  {IsStaticFinitelyPresentedObjectRep}|hyperpage}{12}
\indexentry{IsStaticFinitelyPresentedSubobjectRep@\texttt  {IsStatic}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {SubobjectRep}|hyperpage}{12}
\indexentry{Subobject@\texttt  {Subobject}!constructor for subobjects using morphisms|hyperpage}{13}
\indexentry{IsFree@\texttt  {IsFree}|hyperpage}{13}
\indexentry{IsStablyFree@\texttt  {IsStablyFree}|hyperpage}{13}
\indexentry{IsProjective@\texttt  {IsProjective}|hyperpage}{13}
\indexentry{IsProjectiveOfConstantRank@\texttt  {IsProjectiveOfConstantRank}|hyperpage}{13}
\indexentry{IsInjective@\texttt  {IsInjective}|hyperpage}{13}
\indexentry{IsInjectiveCogenerator@\texttt  {IsInjectiveCogenerator}|hyperpage}{13}
\indexentry{FiniteFreeResolutionExists@\texttt  {FiniteFreeResolutionExists}|hyperpage}{14}
\indexentry{IsReflexive@\texttt  {IsReflexive}|hyperpage}{14}
\indexentry{IsTorsionFree@\texttt  {IsTorsionFree}|hyperpage}{14}
\indexentry{IsArtinian@\texttt  {IsArtinian}|hyperpage}{14}
\indexentry{IsTorsion@\texttt  {IsTorsion}|hyperpage}{14}
\indexentry{IsPure@\texttt  {IsPure}|hyperpage}{14}
\indexentry{IsCohenMacaulay@\texttt  {IsCohenMacaulay}|hyperpage}{14}
\indexentry{IsGorenstein@\texttt  {IsGorenstein}|hyperpage}{14}
\indexentry{IsKoszul@\texttt  {IsKoszul}|hyperpage}{15}
\indexentry{HasConstantRank@\texttt  {HasConstantRank}|hyperpage}{15}
\indexentry{ConstructedAsAnIdeal@\texttt  {ConstructedAsAnIdeal}|hyperpage}{15}
\indexentry{TorsionSubobject@\texttt  {TorsionSubobject}|hyperpage}{15}
\indexentry{TheMorphismToZero@\texttt  {TheMorphismToZero}|hyperpage}{15}
\indexentry{TheIdentityMorphism@\texttt  {TheIdentityMorphism}|hyperpage}{15}
\indexentry{FullSubobject@\texttt  {FullSubobject}|hyperpage}{15}
\indexentry{ZeroSubobject@\texttt  {ZeroSubobject}|hyperpage}{16}
\indexentry{EmbeddingInSuperObject@\texttt  {EmbeddingInSuperObject}|hyperpage}{16}
\indexentry{SuperObject@\texttt  {SuperObject}!for subobjects|hyperpage}{16}
\indexentry{FactorObject@\texttt  {FactorObject}|hyperpage}{16}
\indexentry{UnderlyingSubobject@\texttt  {UnderlyingSubobject}|hyperpage}{16}
\indexentry{NatTrIdToHomHomR@\texttt  {NatTrIdToHomHom{\textunderscore }R}!for morphisms|hyperpage}{16}
\indexentry{Annihilator@\texttt  {Annihilator}!for static objects|hyperpage}{16}
\indexentry{EndomorphismRing@\texttt  {EndomorphismRing}!for static objects|hyperpage}{16}
\indexentry{UnitObject@\texttt  {UnitObject}|hyperpage}{17}
\indexentry{RankOfObject@\texttt  {RankOfObject}|hyperpage}{17}
\indexentry{ProjectiveDimension@\texttt  {ProjectiveDimension}|hyperpage}{17}
\indexentry{DegreeOfTorsionFreeness@\texttt  {DegreeOfTorsionFreeness}|hyperpage}{17}
\indexentry{Grade@\texttt  {Grade}|hyperpage}{17}
\indexentry{PurityFiltration@\texttt  {PurityFiltration}|hyperpage}{17}
\indexentry{CodegreeOfPurity@\texttt  {CodegreeOfPurity}|hyperpage}{17}
\indexentry{HilbertPolynomial@\texttt  {HilbertPolynomial}|hyperpage}{17}
\indexentry{AffineDimension@\texttt  {AffineDimension}|hyperpage}{18}
\indexentry{ProjectiveDegree@\texttt  {ProjectiveDegree}|hyperpage}{18}
\indexentry{ConstantTermOfHilbertPolynomialn@\texttt  {ConstantTermOfHilbertPolynomialn}|hyperpage}{18}
\indexentry{ElementOfGrothendieckGroup@\texttt  {ElementOfGrothendieckGroup}|hyperpage}{18}
\indexentry{ChernPolynomial@\texttt  {ChernPolynomial}|hyperpage}{18}
\indexentry{ChernCharacter@\texttt  {ChernCharacter}|hyperpage}{18}
\indexentry{CurrentResolution@\texttt  {CurrentResolution}|hyperpage}{18}
\indexentry{UnderlyingObject@\texttt  {UnderlyingObject}!for subobjects|hyperpage}{19}
\indexentry{Saturate@\texttt  {Saturate}!for ideals|hyperpage}{19}
\indexentry{IsHomalgMorphism@\texttt  {IsHomalgMorphism}|hyperpage}{21}
\indexentry{IsHomalgStaticMorphism@\texttt  {IsHomalgStaticMorphism}|hyperpage}{21}
\indexentry{IsHomalgEndomorphism@\texttt  {IsHomalgEndomorphism}|hyperpage}{21}
\indexentry{IsMorphismOfFinitelyGeneratedObjectsRep@\texttt  {IsMorphism}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Generated}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{22}
\indexentry{IsStaticMorphismOfFinitelyGeneratedObjectsRep@\texttt  {IsStatic}\discretionary {-}{}{}\texttt  {Morphism}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Generated}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{22}
\indexentry{IsMorphism@\texttt  {IsMorphism}|hyperpage}{22}
\indexentry{IsGeneralizedMorphism@\texttt  {IsGeneralizedMorphism}|hyperpage}{22}
\indexentry{IsGeneralizedEpimorphism@\texttt  {IsGeneralizedEpimorphism}|hyperpage}{23}
\indexentry{IsGeneralizedMonomorphism@\texttt  {IsGeneralizedMonomorphism}|hyperpage}{23}
\indexentry{IsGeneralizedIsomorphism@\texttt  {IsGeneralizedIsomorphism}|hyperpage}{23}
\indexentry{IsOne@\texttt  {IsOne}|hyperpage}{23}
\indexentry{IsIdempotent@\texttt  {IsIdempotent}|hyperpage}{23}
\indexentry{IsMonomorphism@\texttt  {IsMonomorphism}|hyperpage}{23}
\indexentry{IsEpimorphism@\texttt  {IsEpimorphism}|hyperpage}{23}
\indexentry{IsSplitMonomorphism@\texttt  {IsSplitMonomorphism}|hyperpage}{23}
\indexentry{IsSplitEpimorphism@\texttt  {IsSplitEpimorphism}|hyperpage}{24}
\indexentry{IsIsomorphism@\texttt  {IsIsomorphism}|hyperpage}{24}
\indexentry{IsAutomorphism@\texttt  {IsAutomorphism}|hyperpage}{24}
\indexentry{Source@\texttt  {Source}|hyperpage}{24}
\indexentry{Range@\texttt  {Range}|hyperpage}{24}
\indexentry{CokernelEpi@\texttt  {CokernelEpi}!for morphisms|hyperpage}{24}
\indexentry{CokernelNaturalGeneralizedIsomorphism@\texttt  {Cokernel}\discretionary {-}{}{}\texttt  {Natural}\discretionary {-}{}{}\texttt  {Generalized}\discretionary {-}{}{}\texttt  {Isomorphism}!for morphisms|hyperpage}{24}
\indexentry{KernelSubobject@\texttt  {KernelSubobject}|hyperpage}{25}
\indexentry{KernelEmb@\texttt  {KernelEmb}!for morphisms|hyperpage}{25}
\indexentry{ImageSubobject@\texttt  {ImageSubobject}|hyperpage}{25}
\indexentry{ImageObjectEmb@\texttt  {ImageObjectEmb}!for morphisms|hyperpage}{25}
\indexentry{ImageObjectEpi@\texttt  {ImageObjectEpi}!for morphisms|hyperpage}{25}
\indexentry{MorphismAid@\texttt  {MorphismAid}|hyperpage}{25}
\indexentry{GeneralizedInverse@\texttt  {GeneralizedInverse}|hyperpage}{25}
\indexentry{DegreeOfMorphism@\texttt  {DegreeOfMorphism}|hyperpage}{26}
\indexentry{ByASmallerPresentation@\texttt  {ByASmallerPresentation}!for morphisms|hyperpage}{26}
\indexentry{IsHomalgElement@\texttt  {IsHomalgElement}|hyperpage}{28}
\indexentry{IsElementOfAnObjectGivenByAMorphismRep@\texttt  {IsElement}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {An}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Given}\discretionary {-}{}{}\texttt  {By}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {MorphismRep}|hyperpage}{28}
\indexentry{IsZero@\texttt  {IsZero}!for elements|hyperpage}{28}
\indexentry{IsCyclicGenerator@\texttt  {IsCyclicGenerator}|hyperpage}{28}
\indexentry{IsTorsion@\texttt  {IsTorsion}|hyperpage}{29}
\indexentry{Annihilator@\texttt  {Annihilator}!for elements|hyperpage}{29}
\indexentry{in@\texttt  {in}!for elements|hyperpage}{29}
\indexentry{IsHomalgComplex@\texttt  {IsHomalgComplex}|hyperpage}{31}
\indexentry{IsComplexOfFinitelyPresentedObjectsRep@\texttt  {IsComplex}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{31}
\indexentry{IsCocomplexOfFinitelyPresentedObjectsRep@\texttt  {IsCocomplex}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{31}
\indexentry{HomalgComplex@\texttt  {HomalgComplex}!constructor for complexes given an object|hyperpage}{31}
\indexentry{HomalgComplex@\texttt  {HomalgComplex}!constructor for complexes given a morphism|hyperpage}{31}
\indexentry{HomalgComplex@\texttt  {HomalgComplex}!constructor for complexes given a complex|hyperpage}{31}
\indexentry{HomalgComplex@\texttt  {HomalgComplex}!constructor for complexes given a chain morphism|hyperpage}{31}
\indexentry{HomalgCocomplex@\texttt  {HomalgCocomplex}!constructor for cocomplexes given a object|hyperpage}{33}
\indexentry{HomalgCocomplex@\texttt  {HomalgCocomplex}!constructor for cocomplexes given a morphism|hyperpage}{33}
\indexentry{HomalgCocomplex@\texttt  {HomalgCocomplex}!constructor for cocomplexes given a complex|hyperpage}{33}
\indexentry{HomalgCocomplex@\texttt  {HomalgCocomplex}!constructor for cocomplexes given a chain morphism|hyperpage}{33}
\indexentry{IsSequence@\texttt  {IsSequence}|hyperpage}{34}
\indexentry{IsComplex@\texttt  {IsComplex}|hyperpage}{34}
\indexentry{IsAcyclic@\texttt  {IsAcyclic}|hyperpage}{34}
\indexentry{IsRightAcyclic@\texttt  {IsRightAcyclic}|hyperpage}{34}
\indexentry{IsLeftAcyclic@\texttt  {IsLeftAcyclic}|hyperpage}{34}
\indexentry{IsGradedObject@\texttt  {IsGradedObject}|hyperpage}{34}
\indexentry{IsExactSequence@\texttt  {IsExactSequence}|hyperpage}{35}
\indexentry{IsShortExactSequence@\texttt  {IsShortExactSequence}|hyperpage}{35}
\indexentry{IsSplitShortExactSequence@\texttt  {IsSplitShortExactSequence}|hyperpage}{35}
\indexentry{IsTriangle@\texttt  {IsTriangle}|hyperpage}{35}
\indexentry{IsExactTriangle@\texttt  {IsExactTriangle}|hyperpage}{35}
\indexentry{BettiTable@\texttt  {BettiTable}!for complexes|hyperpage}{35}
\indexentry{FiltrationByShortExactSequence@\texttt  {FiltrationByShortExactSequence}!for complexes|hyperpage}{35}
\indexentry{Add@\texttt  {Add}!to complexes given a morphism|hyperpage}{36}
\indexentry{Add@\texttt  {Add}!to complexes given a matrix|hyperpage}{36}
\indexentry{ByASmallerPresentation@\texttt  {ByASmallerPresentation}!for complexes|hyperpage}{37}
\indexentry{IsHomalgChainMorphism@\texttt  {IsHomalgChainMorphism}|hyperpage}{40}
\indexentry{IsHomalgChainEndomorphism@\texttt  {IsHomalgChainEndomorphism}|hyperpage}{40}
\indexentry{IsChainMorphismOfFinitelyPresentedObjectsRep@\texttt  {IsChain}\discretionary {-}{}{}\texttt  {Morphism}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{40}
\indexentry{IsCochainMorphismOfFinitelyPresentedObjectsRep@\texttt  {IsCochain}\discretionary {-}{}{}\texttt  {Morphism}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{40}
\indexentry{HomalgChainMorphism@\texttt  {HomalgChainMorphism}!constructor for chain morphisms given a morphism|hyperpage}{41}
\indexentry{IsMorphism@\texttt  {IsMorphism}!for chain morphisms|hyperpage}{42}
\indexentry{IsGeneralizedMorphism@\texttt  {IsGeneralizedMorphism}!for chain morphisms|hyperpage}{42}
\indexentry{IsGeneralizedEpimorphism@\texttt  {IsGeneralizedEpimorphism}!for chain morphisms|hyperpage}{42}
\indexentry{IsGeneralizedMonomorphism@\texttt  {IsGeneralizedMonomorphism}!for chain morphisms|hyperpage}{42}
\indexentry{IsGeneralizedIsomorphism@\texttt  {IsGeneralizedIsomorphism}!for chain morphisms|hyperpage}{42}
\indexentry{IsOne@\texttt  {IsOne}!for chain morphisms|hyperpage}{42}
\indexentry{IsMonomorphism@\texttt  {IsMonomorphism}!for chain morphisms|hyperpage}{42}
\indexentry{IsEpimorphism@\texttt  {IsEpimorphism}!for chain morphisms|hyperpage}{43}
\indexentry{IsSplitMonomorphism@\texttt  {IsSplitMonomorphism}!for chain morphisms|hyperpage}{43}
\indexentry{IsSplitEpimorphism@\texttt  {IsSplitEpimorphism}!for chain morphisms|hyperpage}{43}
\indexentry{IsIsomorphism@\texttt  {IsIsomorphism}!for chain morphisms|hyperpage}{43}
\indexentry{IsAutomorphism@\texttt  {IsAutomorphism}!for chain morphisms|hyperpage}{43}
\indexentry{IsGradedMorphism@\texttt  {IsGradedMorphism}!for chain morphisms|hyperpage}{43}
\indexentry{IsQuasiIsomorphism@\texttt  {IsQuasiIsomorphism}!for chain morphisms|hyperpage}{43}
\indexentry{Source@\texttt  {Source}!for chain morphisms|hyperpage}{44}
\indexentry{Range@\texttt  {Range}!for chain morphisms|hyperpage}{44}
\indexentry{ByASmallerPresentation@\texttt  {ByASmallerPresentation}!for chain morphisms|hyperpage}{44}
\indexentry{IsHomalgBicomplex@\texttt  {IsHomalgBicomplex}|hyperpage}{45}
\indexentry{IsBicomplexOfFinitelyPresentedObjectsRep@\texttt  {IsBicomplex}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{45}
\indexentry{IsBicocomplexOfFinitelyPresentedObjectsRep@\texttt  {IsBicocomplex}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{45}
\indexentry{HomalgBicomplex@\texttt  {HomalgBicomplex}!constructor for bicomplexes given a complex of complexes|hyperpage}{46}
\indexentry{IsBisequence@\texttt  {IsBisequence}|hyperpage}{47}
\indexentry{IsBicomplex@\texttt  {IsBicomplex}|hyperpage}{47}
\indexentry{IsTransposedWRTTheAssociatedComplex@\texttt  {IsTransposedWRTTheAssociatedComplex}|hyperpage}{47}
\indexentry{TotalComplex@\texttt  {TotalComplex}|hyperpage}{47}
\indexentry{SpectralSequence@\texttt  {SpectralSequence}!for bicomplexes|hyperpage}{47}
\indexentry{UnderlyingComplex@\texttt  {UnderlyingComplex}|hyperpage}{47}
\indexentry{ByASmallerPresentation@\texttt  {ByASmallerPresentation}!for bicomplexes|hyperpage}{47}
\indexentry{IsHomalgBigradedObject@\texttt  {IsHomalgBigradedObject}|hyperpage}{49}
\indexentry{IsHomalgBigradedObjectAssociatedToAnExactCouple@\texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Bigraded}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {An}\discretionary {-}{}{}\texttt  {Exact}\discretionary {-}{}{}\texttt  {Couple}|hyperpage}{49}
\indexentry{IsHomalgBigradedObjectAssociatedToAFilteredComplex@\texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Bigraded}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Filtered}\discretionary {-}{}{}\texttt  {Complex}|hyperpage}{49}
\indexentry{IsHomalgBigradedObjectAssociatedToABicomplex@\texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Bigraded}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Bicomplex}|hyperpage}{49}
\indexentry{IsBigradedObjectOfFinitelyPresentedObjectsRep@\texttt  {IsBigraded}\discretionary {-}{}{}\texttt  {Object}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{50}
\indexentry{HomalgBigradedObject@\texttt  {HomalgBigradedObject}!constructor for bigraded objects given a bicomplex|hyperpage}{50}
\indexentry{AsDifferentialObject@\texttt  {AsDifferentialObject}!for homalg bigraded objects stemming from a bicomplex|hyperpage}{50}
\indexentry{DefectOfExactness@\texttt  {DefectOfExactness}!for homalg differential bigraded objects|hyperpage}{51}
\indexentry{IsEndowedWithDifferential@\texttt  {IsEndowedWithDifferential}|hyperpage}{53}
\indexentry{IsStableSheet@\texttt  {IsStableSheet}|hyperpage}{53}
\indexentry{ByASmallerPresentation@\texttt  {ByASmallerPresentation}!for bigraded objects|hyperpage}{53}
\indexentry{IsHomalgSpectralSequence@\texttt  {IsHomalgSpectralSequence}|hyperpage}{54}
\indexentry{IsHomalgSpectralSequenceAssociatedToAnExactCouple@\texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Spectral}\discretionary {-}{}{}\texttt  {Sequence}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {An}\discretionary {-}{}{}\texttt  {Exact}\discretionary {-}{}{}\texttt  {Couple}|hyperpage}{54}
\indexentry{IsHomalgSpectralSequenceAssociatedToAFilteredComplex@\texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Spectral}\discretionary {-}{}{}\texttt  {Sequence}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Filtered}\discretionary {-}{}{}\texttt  {Complex}|hyperpage}{54}
\indexentry{IsHomalgSpectralSequenceAssociatedToABicomplex@\texttt  {IsHomalg}\discretionary {-}{}{}\texttt  {Spectral}\discretionary {-}{}{}\texttt  {Sequence}\discretionary {-}{}{}\texttt  {Associated}\discretionary {-}{}{}\texttt  {To}\discretionary {-}{}{}\texttt  {A}\discretionary {-}{}{}\texttt  {Bicomplex}|hyperpage}{55}
\indexentry{IsSpectralSequenceOfFinitelyPresentedObjectsRep@\texttt  {IsSpectral}\discretionary {-}{}{}\texttt  {Sequence}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{55}
\indexentry{IsSpectralCosequenceOfFinitelyPresentedObjectsRep@\texttt  {IsSpectral}\discretionary {-}{}{}\texttt  {Cosequence}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Finitely}\discretionary {-}{}{}\texttt  {Presented}\discretionary {-}{}{}\texttt  {ObjectsRep}|hyperpage}{55}
\indexentry{HomalgSpectralSequence@\texttt  {HomalgSpectralSequence}!constructor for spectral sequences given a bicomplex|hyperpage}{55}
\indexentry{HomalgSpectralSequence@\texttt  {HomalgSpectralSequence}!constructor for spectral sequences without a special sheet given a bicomplex|hyperpage}{55}
\indexentry{HomalgSpectralSequence@\texttt  {HomalgSpectralSequence}!constructor for spectral sequences without bound given a bicomplex|hyperpage}{55}
\indexentry{HomalgSpectralSequence@\texttt  {HomalgSpectralSequence}!constructor for spectral sequences without bound and without a special sheet given a bicomplex|hyperpage}{55}
\indexentry{GeneralizedEmbeddingsInTotalObjects@\texttt  {GeneralizedEmbeddingsInTotalObjects}|hyperpage}{57}
\indexentry{GeneralizedEmbeddingsInTotalDefects@\texttt  {GeneralizedEmbeddingsInTotalDefects}|hyperpage}{57}
\indexentry{ByASmallerPresentation@\texttt  {ByASmallerPresentation}!for spectral sequences|hyperpage}{57}
\indexentry{IsHomalgFunctor@\texttt  {IsHomalgFunctor}|hyperpage}{60}
\indexentry{IsHomalgFunctorRep@\texttt  {IsHomalgFunctorRep}|hyperpage}{60}
\indexentry{CreateHomalgFunctor@\texttt  {CreateHomalgFunctor}!constructor for functors|hyperpage}{60}
\indexentry{InsertObjectInMultiFunctor@\texttt  {InsertObjectInMultiFunctor}!constructor for functors given a multi-functor and an object|hyperpage}{60}
\indexentry{RightSatelliteOfCofunctor@\texttt  {RightSatelliteOfCofunctor}!constructor of the right satellite of a contravariant functor|hyperpage}{61}
\indexentry{LeftSatelliteOfFunctor@\texttt  {LeftSatelliteOfFunctor}!constructor of the left satellite of a covariant functor|hyperpage}{61}
\indexentry{RightDerivedCofunctor@\texttt  {RightDerivedCofunctor}!constructor of the right derived functor of a contravariant functor|hyperpage}{61}
\indexentry{LeftDerivedFunctor@\texttt  {LeftDerivedFunctor}!constructor of the left derived functor of a covariant functor|hyperpage}{62}
\indexentry{ComposeFunctors@\texttt  {ComposeFunctors}!constructor for functors given two functors|hyperpage}{62}
\indexentry{NameOfFunctor@\texttt  {NameOfFunctor}|hyperpage}{63}
\indexentry{OperationOfFunctor@\texttt  {OperationOfFunctor}|hyperpage}{63}
\indexentry{Genesis@\texttt  {Genesis}|hyperpage}{63}
\indexentry{ProcedureToReadjustGenerators@\texttt  {ProcedureToReadjustGenerators}!for functors|hyperpage}{64}
\indexentry{functorKernel@\texttt  {functor{\textunderscore }Kernel}|hyperpage}{65}
\indexentry{functorDefectOfExactness@\texttt  {functor{\textunderscore }}\discretionary {-}{}{}\texttt  {Defect}\discretionary {-}{}{}\texttt  {Of}\discretionary {-}{}{}\texttt  {Exactness}|hyperpage}{65}
\indexentry{InstallFunctor@\texttt  {InstallFunctor}|hyperpage}{66}
\indexentry{InstallDeltaFunctor@\texttt  {InstallDeltaFunctor}|hyperpage}{66}
