\GAPDocLabFile{homalg}
\makelabel{homalg:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{homalg:Copyright}{}{X81488B807F2A1CF1}
\makelabel{homalg:Acknowledgements}{}{X82A988D47DFAFCFA}
\makelabel{homalg:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{homalg:Introduction}{1}{X7DFB63A97E67C0A1}
\makelabel{homalg:What is the role of the homalg package in the homalg project?}{1.1}{X7F1B40DB7C1395DD}
\makelabel{homalg:Philosophy}{1.1.1}{X873C99678745ABAF}
\makelabel{homalg:homalg provides ...}{1.1.2}{X82A79A2A78AED00B}
\makelabel{homalg:Building upon the homalg package}{1.1.3}{X78E6DF7E878D754D}
\makelabel{homalg:This manual}{1.2}{X78DD800B83ABC621}
\makelabel{homalg:Installation of the homalg Package}{2}{X855C716578E12A0B}
\makelabel{homalg:Objects}{3}{X78497E777FB3E402}
\makelabel{homalg:Objects: Category and Representations}{3.1}{X7E3651DF87064E72}
\makelabel{homalg:Objects: Constructors}{3.2}{X7BD901538362C36E}
\makelabel{homalg:Objects: Properties}{3.3}{X7B3E8C797D15F0B7}
\makelabel{homalg:Objects: Attributes}{3.4}{X805B06828294072C}
\makelabel{homalg:Objects: Operations and Functions}{3.5}{X7B4D450B78A86F8B}
\makelabel{homalg:Morphisms}{4}{X7BEB6C617FED52DA}
\makelabel{homalg:Morphisms: Categories and Representations}{4.1}{X7DE206257C909BDE}
\makelabel{homalg:Morphisms: Constructors}{4.2}{X86A95A9B85D8B58B}
\makelabel{homalg:Morphisms: Properties}{4.3}{X7B0B60BD79756A00}
\makelabel{homalg:Morphisms: Attributes}{4.4}{X806EEA4685A4A3F3}
\makelabel{homalg:Morphisms: Operations and Functions}{4.5}{X789623548056F7B7}
\makelabel{homalg:Elements}{5}{X79B130FC7906FB4C}
\makelabel{homalg:Elements: Category and Representations}{5.1}{X7FBC2FC77E93856C}
\makelabel{homalg:Elements: Constructors}{5.2}{X8159567F8721ADCA}
\makelabel{homalg:Elements: Properties}{5.3}{X7C36DB5C81520E55}
\makelabel{homalg:Elements: Attributes}{5.4}{X875351A77DEB949A}
\makelabel{homalg:Elements: Operations and Functions}{5.5}{X865C489C7FE750A9}
\makelabel{homalg:Complexes}{6}{X79C388D385DB7CD1}
\makelabel{homalg:Complexes: Category and Representations}{6.1}{X7FF155CB7C4C7CB4}
\makelabel{homalg:Complexes: Constructors}{6.2}{X7B31FFA97FEE9B80}
\makelabel{homalg:Complexes: Properties}{6.3}{X80A23E668343440B}
\makelabel{homalg:Complexes: Attributes}{6.4}{X7BC7B49D7F928DF8}
\makelabel{homalg:Complexes: Operations and Functions}{6.5}{X84E12E9C7A60D9BC}
\makelabel{homalg:Chain Morphisms}{7}{X782EF48B7D997E9E}
\makelabel{homalg:ChainMorphisms: Categories and Representations}{7.1}{X8703B8017F55336F}
\makelabel{homalg:Chain Morphisms: Constructors}{7.2}{X83637FBE86C5DDF1}
\makelabel{homalg:Chain Morphisms: Properties}{7.3}{X789E2EC07C041D78}
\makelabel{homalg:Chain Morphisms: Attributes}{7.4}{X83FBA43B7E5833F0}
\makelabel{homalg:Chain Morphisms: Operations and Functions}{7.5}{X7DD92C727DD630DA}
\makelabel{homalg:Bicomplexes}{8}{X7CEDAD61826170CF}
\makelabel{homalg:Bicomplexes: Category and Representations}{8.1}{X7CBAE2807BD16E7E}
\makelabel{homalg:Bicomplexes: Constructors}{8.2}{X842D047F7E00F774}
\makelabel{homalg:Bicomplexes: Properties}{8.3}{X854AA4C379C813AC}
\makelabel{homalg:Bicomplexes: Attributes}{8.4}{X7E2F2E387A4EF533}
\makelabel{homalg:Bicomplexes: Operations and Functions}{8.5}{X81357E7A7C6D31F5}
\makelabel{homalg:Bigraded Objects}{9}{X86C997977B62C726}
\makelabel{homalg:BigradedObjects: Categories and Representations}{9.1}{X82C303E27EA6C844}
\makelabel{homalg:Bigraded Objects: Constructors}{9.2}{X7A37F65D79540DFE}
\makelabel{homalg:Bigraded Objects: Properties}{9.3}{X83F0D79981589A42}
\makelabel{homalg:Bigraded Objects: Operations and Functions}{9.4}{X7A5828337CE2F4F2}
\makelabel{homalg:Spectral Sequences}{10}{X87330D8C82E71B50}
\makelabel{homalg:SpectralSequences: Categorie and Representations}{10.1}{X85E1174B7BDA291E}
\makelabel{homalg:Spectral Sequences: Constructors}{10.2}{X84F3E1DF86C576A3}
\makelabel{homalg:Spectral Sequences: Attributes}{10.3}{X8014BAE984177944}
\makelabel{homalg:Spectral Sequences: Operations and Functions}{10.4}{X7BD192607D03A699}
\makelabel{homalg:Functors}{11}{X78D1062D78BE08C1}
\makelabel{homalg:Functors: Category and Representations}{11.1}{X7E41BC437F2B76E1}
\makelabel{homalg:Functors: Constructors}{11.2}{X86EE897086995E47}
\makelabel{homalg:Functors: Attributes}{11.3}{X7A21845C7C536717}
\makelabel{homalg:Basic Functors}{11.4}{X7D83D0EB87D2D872}
\makelabel{homalg:Tool Functors}{11.5}{X815BF6DA7FD5D44B}
\makelabel{homalg:Other Functors}{11.6}{X879135AC8330C509}
\makelabel{homalg:Functors: Operations and Functions}{11.7}{X7DACD68E7E5FA324}
\makelabel{homalg:Examples}{12}{X7A489A5D79DA9E5C}
\makelabel{homalg:ExtExt}{12.1}{X7BB9DE017ECE6E86}
\makelabel{homalg:Purity}{12.2}{X7EE63228803A04F1}
\makelabel{homalg:TorExt-Grothendieck}{12.3}{X812EF8147AE16E72}
\makelabel{homalg:TorExt}{12.4}{X784BC2567875830B}
\makelabel{homalg:The Mathematical Idea behind homalg}{A}{X7FBD6C8A83D64BE4}
\makelabel{homalg:Development}{B}{X816F972F826BE589}
\makelabel{homalg:Why was homalg discontinued in Maple?}{B.1}{X85B7FB29805B14C9}
\makelabel{homalg:Why GAP4?}{B.2}{X7D2A5B127A68AB58}
\makelabel{homalg:GAP is free and open software}{B.2.1}{X8148BBD87B272E84}
\makelabel{homalg:GAP has an area of expertise}{B.2.2}{X799403717D4414BA}
\makelabel{homalg:GAP4 can communicate}{B.2.3}{X863002078157C105}
\makelabel{homalg:GAP4 is a mathematical object-oriented programming language}{B.2.4}{X78EB6CAE7C7F2F7C}
\makelabel{homalg:GAP4 packages are easily extendible}{B.2.5}{X7E1B9133835F33FD}
\makelabel{homalg:Why not Sage?}{B.3}{X7F7CF4AE830E312B}
\makelabel{homalg:How does homalg compare to Sage?}{B.4}{X81A6C501841B20C4}
\makelabel{homalg:They differ in objectives and scale}{B.4.1}{X82A6EC2C850909B1}
\makelabel{homalg:They differ in the programming language}{B.4.2}{X8346070A86BF5CC5}
\makelabel{homalg:They differ in the way they communicate with the outer world}{B.4.3}{X8040F9357F008C1E}
\makelabel{homalg:Logic Subpackages}{C}{X8222352C78A19214}
\makelabel{homalg:LIOBJ: Logical Implications for Objects of Abelian Categories}{C.1}{X84B5336279AF7DE4}
\makelabel{homalg:LIMOR: Logical Implications for Morphisms of Abelian Categories}{C.2}{X8744FAF47E59C422}
\makelabel{homalg:LICPX: Logical Implications for Complexes in Abelian Categories}{C.3}{X8024C3D08006C35A}
\makelabel{homalg:Debugging homalg}{D}{X7DC71AA679A8CB8D}
\makelabel{homalg:Increase the assertion level}{D.1}{X8062637283DD739D}
\makelabel{homalg:The Core Packages and the Idea behind their Splitting}{E}{X849691F37C7AC1B4}
\makelabel{homalg:Logically independent}{E.1.1}{X818F306582DFF370}
\makelabel{homalg:Black boxes}{E.1.2}{X7EE794358500309A}
\makelabel{homalg:Summing up}{E.1.3}{X786DDEFD85AD19F4}
\makelabel{homalg:HomalgToCAS}{E.2.1}{X80FB5BB57BBE5B17}
\makelabel{homalg:IOForHomalg and Alternatives}{E.2.2}{X86F316DA837A4FE4}
\makelabel{homalg:RingsForHomalg}{E.2.3}{X78E3E28C81E8DC12}
\makelabel{homalg:Your own RingsForHomalg}{E.2.4}{X7AD8DBE280C58EE9}
\makelabel{homalg:ExamplesForHomalg}{E.2.5}{X7A0A10B585C49632}
\makelabel{homalg:Documentation}{E.2.6}{X7F4F8D6F7CD6B765}
\makelabel{homalg:Crediting}{E.2.7}{X814A1DC581E36F66}
\makelabel{homalg:Stability}{E.2.8}{X78397E8681145827}
\makelabel{homalg:Overview of the homalg Package Source Code}{F}{X84555A0687FBAE33}
\makelabel{homalg:The Basic Objects}{F.1}{X81DDCFC578069518}
\makelabel{homalg:The High Level Homological Algorithms}{F.2}{X7BDE961D858BC60E}
\makelabel{homalg:Logical Implications for homalg Objects}{F.3}{X7E8463067BB2F31E}
\makelabel{homalg:Bibliography}{Bib}{X7A6F98FD85F02BFE}
\makelabel{homalg:References}{Bib}{X7A6F98FD85F02BFE}
\makelabel{homalg:Index}{Ind}{X83A0356F839C696F}
\makelabel{homalg:homalg}{}{X8537FEB07AF2BEC8}
\makelabel{homalg:IsHomalgObject}{3.1.1}{X7E610FA77A49B9EC}
\makelabel{homalg:IsHomalgStaticObject}{3.1.2}{X79FC4A848517AF55}
\makelabel{homalg:IsFinitelyPresentedObjectRep}{3.1.3}{X7F1BC3F77949E779}
\makelabel{homalg:IsStaticFinitelyPresentedObjectOrSubobjectRep}{3.1.4}{X79ED26577A1C2E09}
\makelabel{homalg:IsStaticFinitelyPresentedObjectRep}{3.1.5}{X7B645ADA876153F2}
\makelabel{homalg:IsStaticFinitelyPresentedSubobjectRep}{3.1.6}{X837C31E38502E580}
\makelabel{homalg:Subobject constructor for subobjects using morphisms}{3.2.1}{X810D3BFB7D9FE47E}
\makelabel{homalg:IsFree}{3.3.1}{X7CD2A77778432E7B}
\makelabel{homalg:IsStablyFree}{3.3.2}{X7D49FC85781256AB}
\makelabel{homalg:IsProjective}{3.3.3}{X7EC041A77E7E46D2}
\makelabel{homalg:IsProjectiveOfConstantRank}{3.3.4}{X84A8AB217E8F4611}
\makelabel{homalg:IsInjective}{3.3.5}{X7F065FD7822C0A12}
\makelabel{homalg:IsInjectiveCogenerator}{3.3.6}{X7FCE608683CCDC6B}
\makelabel{homalg:FiniteFreeResolutionExists}{3.3.7}{X8784F151844F01FA}
\makelabel{homalg:IsReflexive}{3.3.8}{X7A6A34C283332F60}
\makelabel{homalg:IsTorsionFree}{3.3.9}{X86D92DA17DCE22DD}
\makelabel{homalg:IsArtinian}{3.3.10}{X7D8F8A0B81EFD22A}
\makelabel{homalg:IsTorsion}{3.3.11}{X80C6B26284721409}
\makelabel{homalg:IsPure}{3.3.12}{X7B894ED27D38E4B5}
\makelabel{homalg:IsCohenMacaulay}{3.3.13}{X8373421F7E085763}
\makelabel{homalg:IsGorenstein}{3.3.14}{X83CBA38E81DC4A72}
\makelabel{homalg:IsKoszul}{3.3.15}{X7E7AEFBE7801F196}
\makelabel{homalg:HasConstantRank}{3.3.16}{X7A20E4597A707218}
\makelabel{homalg:ConstructedAsAnIdeal}{3.3.17}{X7CD026F185A5E41E}
\makelabel{homalg:TorsionSubobject}{3.4.1}{X7E6C8ED2865B6F35}
\makelabel{homalg:TheMorphismToZero}{3.4.2}{X82BCEE867CBE84E5}
\makelabel{homalg:TheIdentityMorphism}{3.4.3}{X85EFEC127CA408A1}
\makelabel{homalg:FullSubobject}{3.4.4}{X8236B1D480ED04CD}
\makelabel{homalg:ZeroSubobject}{3.4.5}{X81679BB58541E235}
\makelabel{homalg:EmbeddingInSuperObject}{3.4.6}{X7C16CBCC78C56CDC}
\makelabel{homalg:SuperObject for subobjects}{3.4.7}{X7ADC5B647C8E6D8C}
\makelabel{homalg:FactorObject}{3.4.8}{X7FB9A7C3785D92DC}
\makelabel{homalg:UnderlyingSubobject}{3.4.9}{X7A23EAD67E6B85C1}
\makelabel{homalg:NatTrIdToHomHomR for morphisms}{3.4.10}{X7FC5F0AF7CF5DC67}
\makelabel{homalg:Annihilator for static objects}{3.4.11}{X81889C777A22A5D3}
\makelabel{homalg:EndomorphismRing for static objects}{3.4.12}{X809A7C3882912EFD}
\makelabel{homalg:UnitObject}{3.4.13}{X85F3D7CF81E85423}
\makelabel{homalg:RankOfObject}{3.4.14}{X7E192147807E66DA}
\makelabel{homalg:ProjectiveDimension}{3.4.15}{X84FDF25D797B874B}
\makelabel{homalg:DegreeOfTorsionFreeness}{3.4.16}{X807BA3C583D3F1EB}
\makelabel{homalg:Grade}{3.4.17}{X7E32A9FC81E0E101}
\makelabel{homalg:PurityFiltration}{3.4.18}{X816186E587563E3F}
\makelabel{homalg:CodegreeOfPurity}{3.4.19}{X8021C33D85444081}
\makelabel{homalg:HilbertPolynomial}{3.4.20}{X84299BAB807A1E13}
\makelabel{homalg:AffineDimension}{3.4.21}{X7BC36CC67CB09858}
\makelabel{homalg:ProjectiveDegree}{3.4.22}{X82A1B55879AB1742}
\makelabel{homalg:ConstantTermOfHilbertPolynomialn}{3.4.23}{X791B772A7E368A88}
\makelabel{homalg:ElementOfGrothendieckGroup}{3.4.24}{X7FC735717985B092}
\makelabel{homalg:ChernPolynomial}{3.4.25}{X81024DAF8695083E}
\makelabel{homalg:ChernCharacter}{3.4.26}{X79942F6187DF4434}
\makelabel{homalg:CurrentResolution}{3.5.1}{X87AEDF2985D65DCC}
\makelabel{homalg:UnderlyingObject for subobjects}{3.5.2}{X81FACFAC828CA2F9}
\makelabel{homalg:Saturate for ideals}{3.5.3}{X82AE15AF82136AE0}
\makelabel{homalg:IsHomalgMorphism}{4.1.1}{X7D0F89828196DFF0}
\makelabel{homalg:IsHomalgStaticMorphism}{4.1.2}{X81458CA5836D582F}
\makelabel{homalg:IsHomalgEndomorphism}{4.1.3}{X7933C51A842ABA32}
\makelabel{homalg:IsMorphismOfFinitelyGeneratedObjectsRep}{4.1.4}{X823580787F23EB10}
\makelabel{homalg:IsStaticMorphismOfFinitelyGeneratedObjectsRep}{4.1.5}{X84A97E897C74B492}
\makelabel{homalg:IsMorphism}{4.3.1}{X7F66120A814DC16B}
\makelabel{homalg:IsGeneralizedMorphismWithFullDomain}{4.3.2}{X7B7206EC7F584F25}
\makelabel{homalg:IsGeneralizedEpimorphism}{4.3.3}{X7AD32A427B247366}
\makelabel{homalg:IsGeneralizedMonomorphism}{4.3.4}{X83C68AEA7FE4AA29}
\makelabel{homalg:IsGeneralizedIsomorphism}{4.3.5}{X83F05F467DA5EA4D}
\makelabel{homalg:IsOne}{4.3.6}{X814D78347858EC13}
\makelabel{homalg:IsIdempotent}{4.3.7}{X7CB5896082D29173}
\makelabel{homalg:IsMonomorphism}{4.3.8}{X78AD1FDD7F53932C}
\makelabel{homalg:IsEpimorphism}{4.3.9}{X8724CEF182DC4064}
\makelabel{homalg:IsSplitMonomorphism}{4.3.10}{X7DFACF1F7D7F7EE9}
\makelabel{homalg:IsSplitEpimorphism}{4.3.11}{X80A66EFA862E56BC}
\makelabel{homalg:IsIsomorphism}{4.3.12}{X7E07BBF57B92BA56}
\makelabel{homalg:IsAutomorphism}{4.3.13}{X7F30E3D37E9D7F37}
\makelabel{homalg:Source}{4.4.1}{X7DE8173F80E07AB1}
\makelabel{homalg:Range}{4.4.2}{X829F76BB80BD55DB}
\makelabel{homalg:CokernelEpi for morphisms}{4.4.3}{X7F3927E287087B64}
\makelabel{homalg:CokernelNaturalGeneralizedIsomorphism for morphisms}{4.4.4}{X7D71AE8E838712D7}
\makelabel{homalg:KernelSubobject}{4.4.5}{X87C00FFB79FA93A8}
\makelabel{homalg:KernelEmb for morphisms}{4.4.6}{X82672DB279FAEFCC}
\makelabel{homalg:ImageSubobject}{4.4.7}{X82FB6A4687E778D5}
\makelabel{homalg:ImageObjectEmb for morphisms}{4.4.8}{X85FA7C19800F72B2}
\makelabel{homalg:ImageObjectEpi for morphisms}{4.4.9}{X86E3E1BA7BCE4D66}
\makelabel{homalg:MorphismAid}{4.4.10}{X823682157C6B4D63}
\makelabel{homalg:InverseOfGeneralizedMorphismWithFullDomain}{4.4.11}{X85F22F4084EA7D31}
\makelabel{homalg:DegreeOfMorphism}{4.4.12}{X8500C49A784C8EDC}
\makelabel{homalg:ByASmallerPresentation for morphisms}{4.5.1}{X7B4F9EF27A241520}
\makelabel{homalg:IsHomalgElement}{5.1.1}{X784BBB2A782DB774}
\makelabel{homalg:IsElementOfAnObjectGivenByAMorphismRep}{5.1.2}{X87F3740E85E9AA51}
\makelabel{homalg:IsZero for elements}{5.3.1}{X7D16A0BB80BA69DC}
\makelabel{homalg:IsCyclicGenerator}{5.3.2}{X7886344B7A8B9304}
\makelabel{homalg:IsTorsion}{5.3.3}{X80C6B26284721409}
\makelabel{homalg:Annihilator for elements}{5.4.1}{X8557F75878DEEA58}
\makelabel{homalg:in for elements}{5.5.1}{X7A4ED0528640EEFE}
\makelabel{homalg:IsHomalgComplex}{6.1.1}{X8166F9FD7BFDA207}
\makelabel{homalg:IsComplexOfFinitelyPresentedObjectsRep}{6.1.2}{X825B40448449FFF6}
\makelabel{homalg:IsCocomplexOfFinitelyPresentedObjectsRep}{6.1.3}{X7B0613FF7A702D48}
\makelabel{homalg:HomalgComplex constructor for complexes given an object}{6.2.1}{X7C0D9D0178477517}
\makelabel{homalg:HomalgComplex constructor for complexes given a morphism}{6.2.1}{X7C0D9D0178477517}
\makelabel{homalg:HomalgComplex constructor for complexes given a complex}{6.2.1}{X7C0D9D0178477517}
\makelabel{homalg:HomalgComplex constructor for complexes given a chain morphism}{6.2.1}{X7C0D9D0178477517}
\makelabel{homalg:HomalgCocomplex constructor for cocomplexes given a object}{6.2.2}{X82E0E9D17E29A67B}
\makelabel{homalg:HomalgCocomplex constructor for cocomplexes given a morphism}{6.2.2}{X82E0E9D17E29A67B}
\makelabel{homalg:HomalgCocomplex constructor for cocomplexes given a complex}{6.2.2}{X82E0E9D17E29A67B}
\makelabel{homalg:HomalgCocomplex constructor for cocomplexes given a chain morphism}{6.2.2}{X82E0E9D17E29A67B}
\makelabel{homalg:IsSequence}{6.3.1}{X7C668F517AEB1F99}
\makelabel{homalg:IsComplex}{6.3.2}{X856E7B4E8264E8F0}
\makelabel{homalg:IsAcyclic}{6.3.3}{X847A62A6806046C4}
\makelabel{homalg:IsRightAcyclic}{6.3.4}{X7F4927337891E086}
\makelabel{homalg:IsLeftAcyclic}{6.3.5}{X8673124C83AA8FCC}
\makelabel{homalg:IsGradedObject}{6.3.6}{X78FEA48B7839E683}
\makelabel{homalg:IsExactSequence}{6.3.7}{X793465497B435197}
\makelabel{homalg:IsShortExactSequence}{6.3.8}{X87ADD4F685457000}
\makelabel{homalg:IsSplitShortExactSequence}{6.3.9}{X7BAF581986905995}
\makelabel{homalg:IsTriangle}{6.3.10}{X84B794FB86C169CF}
\makelabel{homalg:IsExactTriangle}{6.3.11}{X81E57EE37FC94539}
\makelabel{homalg:BettiTable for complexes}{6.4.1}{X7DE6E8D8875B515F}
\makelabel{homalg:FiltrationByShortExactSequence for complexes}{6.4.2}{X80EDFDD281834882}
\makelabel{homalg:Add to complexes given a morphism}{6.5.1}{X7F10893B78FEDEB7}
\makelabel{homalg:Add to complexes given a matrix}{6.5.1}{X7F10893B78FEDEB7}
\makelabel{homalg:ByASmallerPresentation for complexes}{6.5.2}{X79677A407C9EF3A0}
\makelabel{homalg:IsHomalgChainMorphism}{7.1.1}{X7CB62E188027B7C5}
\makelabel{homalg:IsHomalgChainEndomorphism}{7.1.2}{X853BD37084BFC602}
\makelabel{homalg:IsChainMorphismOfFinitelyPresentedObjectsRep}{7.1.3}{X7C35D69F7B09BD47}
\makelabel{homalg:IsCochainMorphismOfFinitelyPresentedObjectsRep}{7.1.4}{X7DF3EA1D817266C1}
\makelabel{homalg:HomalgChainMorphism constructor for chain morphisms given a morphism}{7.2.1}{X853361547FB213CA}
\makelabel{homalg:IsMorphism for chain morphisms}{7.3.1}{X798B6A897FE4FF12}
\makelabel{homalg:IsGeneralizedMorphismWithFullDomain for chain morphisms}{7.3.2}{X8194427F8423EB00}
\makelabel{homalg:IsGeneralizedEpimorphism for chain morphisms}{7.3.3}{X84FE6CFD85AB7B73}
\makelabel{homalg:IsGeneralizedMonomorphism for chain morphisms}{7.3.4}{X7C7A07FD795C903E}
\makelabel{homalg:IsGeneralizedIsomorphism for chain morphisms}{7.3.5}{X7D686DF9832AE258}
\makelabel{homalg:IsOne for chain morphisms}{7.3.6}{X790FC54F7DF8B5B1}
\makelabel{homalg:IsMonomorphism for chain morphisms}{7.3.7}{X8709A2597FE67C7F}
\makelabel{homalg:IsEpimorphism for chain morphisms}{7.3.8}{X7C8E0B1A7A8EE198}
\makelabel{homalg:IsSplitMonomorphism for chain morphisms}{7.3.9}{X8724A5E77FD88D49}
\makelabel{homalg:IsSplitEpimorphism for chain morphisms}{7.3.10}{X87508506872F4FC3}
\makelabel{homalg:IsIsomorphism for chain morphisms}{7.3.11}{X85180A1E83C01BAA}
\makelabel{homalg:IsAutomorphism for chain morphisms}{7.3.12}{X856D1F5C7E289064}
\makelabel{homalg:IsGradedMorphism for chain morphisms}{7.3.13}{X81B2B7BC7B27A1F4}
\makelabel{homalg:IsQuasiIsomorphism for chain morphisms}{7.3.14}{X7B5C2D788794699E}
\makelabel{homalg:Source for chain morphisms}{7.4.1}{X81A0D7187D28BA34}
\makelabel{homalg:Range for chain morphisms}{7.4.2}{X842454D5851D0C79}
\makelabel{homalg:ByASmallerPresentation for chain morphisms}{7.5.1}{X875F27D07EB78998}
\makelabel{homalg:IsHomalgBicomplex}{8.1.1}{X80B7C45A850F4C3E}
\makelabel{homalg:IsBicomplexOfFinitelyPresentedObjectsRep}{8.1.2}{X7892BBCD783ABE16}
\makelabel{homalg:IsBicocomplexOfFinitelyPresentedObjectsRep}{8.1.3}{X7A82F6DC7C4C7761}
\makelabel{homalg:HomalgBicomplex constructor for bicomplexes given a complex of complexes}{8.2.1}{X86D50FE285F49BF6}
\makelabel{homalg:IsBisequence}{8.3.1}{X7912E2147849BA74}
\makelabel{homalg:IsBicomplex}{8.3.2}{X87886CA9828D0B4A}
\makelabel{homalg:IsTransposedWRTTheAssociatedComplex}{8.3.3}{X85363EC87E54554C}
\makelabel{homalg:TotalComplex}{8.4.1}{X7C805D967E803BEF}
\makelabel{homalg:SpectralSequence for bicomplexes}{8.4.2}{X7E672CA37AA3D34C}
\makelabel{homalg:UnderlyingComplex}{8.5.1}{X7CE9470285B819BC}
\makelabel{homalg:ByASmallerPresentation for bicomplexes}{8.5.2}{X7D4B66E08666B142}
\makelabel{homalg:IsHomalgBigradedObject}{9.1.1}{X795C082E83748032}
\makelabel{homalg:IsHomalgBigradedObjectAssociatedToAnExactCouple}{9.1.2}{X7ADBEEA47D650EF2}
\makelabel{homalg:IsHomalgBigradedObjectAssociatedToAFilteredComplex}{9.1.3}{X7994D63E7F77C704}
\makelabel{homalg:IsHomalgBigradedObjectAssociatedToABicomplex}{9.1.4}{X8007507A79E54A1A}
\makelabel{homalg:IsBigradedObjectOfFinitelyPresentedObjectsRep}{9.1.5}{X7AE4EB99817C4508}
\makelabel{homalg:HomalgBigradedObject constructor for bigraded objects given a bicomplex}{9.2.1}{X79DCB6FF7E6FFA8B}
\makelabel{homalg:AsDifferentialObject for homalg bigraded objects stemming from a bicomplex}{9.2.2}{X7D0A240684BD8FC3}
\makelabel{homalg:DefectOfExactness for homalg differential bigraded objects}{9.2.3}{X783AA6E3817BFC0F}
\makelabel{homalg:IsEndowedWithDifferential}{9.3.1}{X82DD24197D46CB80}
\makelabel{homalg:IsStableSheet}{9.3.2}{X8466E4747DF9DDF4}
\makelabel{homalg:ByASmallerPresentation for bigraded objects}{9.4.1}{X7A70FD7C82C0C837}
\makelabel{homalg:IsHomalgSpectralSequence}{10.1.1}{X795DCCD88630BA47}
\makelabel{homalg:IsHomalgSpectralSequenceAssociatedToAnExactCouple}{10.1.2}{X7F2858CB84D2FF7F}
\makelabel{homalg:IsHomalgSpectralSequenceAssociatedToAFilteredComplex}{10.1.3}{X7A6FDA637E4D77CA}
\makelabel{homalg:IsHomalgSpectralSequenceAssociatedToABicomplex}{10.1.4}{X7E7F02B379ABFBF6}
\makelabel{homalg:IsSpectralSequenceOfFinitelyPresentedObjectsRep}{10.1.5}{X81B2C07D7BBD25A9}
\makelabel{homalg:IsSpectralCosequenceOfFinitelyPresentedObjectsRep}{10.1.6}{X7ACDC0C97D8F072A}
\makelabel{homalg:HomalgSpectralSequence constructor for spectral sequences given a bicomplex}{10.2.1}{X840EE4DE7D84F72D}
\makelabel{homalg:HomalgSpectralSequence constructor for spectral sequences without a special sheet given a bicomplex}{10.2.1}{X840EE4DE7D84F72D}
\makelabel{homalg:HomalgSpectralSequence constructor for spectral sequences without bound given a bicomplex}{10.2.1}{X840EE4DE7D84F72D}
\makelabel{homalg:HomalgSpectralSequence constructor for spectral sequences without bound and without a special sheet given a bicomplex}{10.2.1}{X840EE4DE7D84F72D}
\makelabel{homalg:GeneralizedEmbeddingsInTotalObjects}{10.3.1}{X862BD6E2875BC376}
\makelabel{homalg:GeneralizedEmbeddingsInTotalDefects}{10.3.2}{X7B84FE76787EAD55}
\makelabel{homalg:ByASmallerPresentation for spectral sequences}{10.4.1}{X8775988481D1579F}
\makelabel{homalg:IsHomalgFunctor}{11.1.1}{X7EB19E0787C99FF2}
\makelabel{homalg:IsHomalgFunctorRep}{11.1.2}{X87ECF5AF7A154723}
\makelabel{homalg:CreateHomalgFunctor constructor for functors}{11.2.1}{X79407A4E78D628FF}
\makelabel{homalg:InsertObjectInMultiFunctor constructor for functors given a multi-functor and an object}{11.2.2}{X79454910823BD09F}
\makelabel{homalg:RightSatelliteOfCofunctor constructor of the right satellite of a contravariant functor}{11.2.3}{X7E0DE63378A5E204}
\makelabel{homalg:LeftSatelliteOfFunctor constructor of the left satellite of a covariant functor}{11.2.4}{X87448A45780737AE}
\makelabel{homalg:RightDerivedCofunctor constructor of the right derived functor of a contravariant functor}{11.2.5}{X79EBC65E7DB3FDFB}
\makelabel{homalg:LeftDerivedFunctor constructor of the left derived functor of a covariant functor}{11.2.6}{X7AC81ED178F2ECB7}
\makelabel{homalg:ComposeFunctors constructor for functors given two functors}{11.2.7}{X7B0F972B850EB3CF}
\makelabel{homalg:NameOfFunctor}{11.3.1}{X845E5EF17BBBF64C}
\makelabel{homalg:OperationOfFunctor}{11.3.2}{X796A383A7AEDA56E}
\makelabel{homalg:Genesis}{11.3.3}{X7BCB7F008620570C}
\makelabel{homalg:ProcedureToReadjustGenerators for functors}{11.3.4}{X83DB28187E1A4E92}
\makelabel{homalg:functorKernel}{11.4.1}{X7E1FD2EA8358FEA7}
\makelabel{homalg:functorDefectOfExactness}{11.4.2}{X795B435785C96DFD}
\makelabel{homalg:InstallFunctor}{11.7.1}{X7EAE59AC7D402D5A}
\makelabel{homalg:InstallDeltaFunctor}{11.7.2}{X7BD3887982B2663E}
