  
  [1XF [33X[0;0YOverview of the [5Xhomalg[105X[101X[1X Package Source Code[133X[101X
  
  [33X[0;0YThe  [5Xhomalg[105X  package  reached more than 50.000 lines of [5XGAP4[105X code (excluding
  the documentation) before the first release was made. To keep this amount of
  code tracebale, the package was split in several files.[133X
  
  
  [1XF.1 [33X[0;0YThe Basic Objects[133X[101X
  
        Filename [11X.gd[111X/[11X.gi[111X       │ Content                                      
        ───────────────────────┼─  
        [11XHomalgObject[111X           │ objects of Abelian categories                
                               │                                              
        [11XHomalgSubobject[111X        │ subobject of objects of Abelian categories   
                               │                                              
        [11XHomalgMorphism[111X         │ morphisms of Abelian categories              
                               │                                              
        [11XHomalgElement[111X          │ elements are morphisms from [21Xstructure objects[121X
                               │                                              
        [11XHomalgFiltration[111X       │ filtrations of objects of Abelian categories 
                               │                                              
        [11XHomalgComplex[111X          │ (co)complexes of objects or of (co)complexes 
                               │                                              
        [11XHomalgChainMorphism[111X    │ chain morphisms of (co)complexes             
                               │ consisting of morphisms or chain morphisms   
                               │                                              
        [11XHomalgBicomplex[111X        │ bicomplexes of objects or of (co)complexes   
                               │                                              
        [11XHomalgBigradedObject[111X   │ (differential) bigraded objects              
                               │                                              
        [11XHomalgSpectralSequence[111X │ homological and cohomological                
                               │ spectral sequences                           
                               │                                              
        [11XHomalgFunctor[111X          │ constructors of (multi) functors of          
                               │ Abelian categories,                          
                               │ left derivation of covariant functors,       
                               │ right derivation of contravariant functors,  
                               │ left satellites of covariant functors,       
                               │ right satellites of contravariant functors,  
                               │ and composition of functors                  
                               │                                              
        [11XHomalgDiagram[111X          │ basic diagrams                               
  
       [1XTable:[101X [13XThe [5Xhomalg[105X package files (continued)[113X
  
  
  
  [1XF.2 [33X[0;0YThe High Level Homological Algorithms[133X[101X
  
        Filename [11X.gd[111X/[11X.gi[111X  │ Content                                         
        ──────────────────┼─  
        [11XStaticObjects[111X     │ subfactors, syzygy objects, shorten resolutions,
                          │ saturations                                     
                          │                                                 
        [11XMorphisms[111X         │ resolutions, (co)kernel sequences               
                          │                                                 
        [11XComplexes[111X         │ (co)homology, horse shoe lemma, connecting      
                          │ homomorphisms, Cartan-Eilenberg resolution      
                          │                                                 
        [11XChainMorphisms[111X    │ (co)homology                                    
                          │                                                 
        [11XSpectralSequences[111X │ Grothendieck bicomplexes associated to two      
                          │ composable functors, spectral sequences         
                          │ of bicomplexes, Grothendieck spectral sequences 
        [11XFiltrations[111X       │ spectral filtrations, i.e. filtrations induced  
                          │ by spectral sequences of bicomplexes,           
                          │ purity filtration                               
                          │                                                 
        [11XToolFunctors[111X      │ composition, addition, substraction,            
                          │ stacking, augmentation, and post dividing maps  
        [11XBasicFunctors[111X     │ kernel, defect of exactness                     
        [11XOtherFunctors[111X     │ torsion submodule, torsion free factor,         
                          │ pullback, pushout, Auslander dual               
  
       [1XTable:[101X [13XThe [5Xhomalg[105X package files (continued)[113X
  
  
  
  [1XF.3 [33X[0;0YLogical Implications for [5Xhomalg[105X[101X[1X Objects[133X[101X
  
        Filename [11X.gd[111X/[11X.gi[111X │ Content                                                  
        ─────────────────┼─  
        [11XLIOBJ[111X            │ logical implications for objects of an Abelian category  
                         │                                                          
        [11XLIMOR[111X            │ logical implications for morphisms of an Abelian category
                         │                                                          
        [11XLICPX[111X            │ logical implications for complexes                       
                         │                                                          
  
       [1XTable:[101X [13XThe [5Xhomalg[105X package files (continued)[113X
  
  
