  
  [1XC [33X[0;0YOverview of the [5XModules[105X[101X[1X Package Source Code[133X[101X
  
  
  [1XC.1 [33X[0;0YRelations and Generators[133X[101X
  
        Filename [11X.gd[111X/[11X.gi[111X │ Content                         
        ─────────────────┼─  
        [11XHomalgRingMap[111X    │ operations and methods ring maps
                         │                                 
        [11XHomalgRelations[111X  │ a set of relations              
        [11XSetsOfRelations[111X  │ several sets of relations       
        [11XHomalgGenerators[111X │ a set of generators             
        [11XSetsOfGenerators[111X │ several sets of generators      
  
       [1XTable:[101X [13XThe [5Xhomalg[105X package files[113X
  
  
  
  [1XC.2 [33X[0;0YThe Basic Objects[133X[101X
  
        Filename [11X.gd[111X/[11X.gi[111X       │ Content                                       
        ───────────────────────┼─  
        [11XHomalgModule[111X           │ modules allowing several presentations        
                               │ linked with transition matrices               
                               │                                               
        [11XHomalgSubmodule[111X        │ submodules allowing several sets of generators
                               │                                               
        [11XHomalgMap[111X              │ maps allowing several presentations           
                               │ of their source and target                    
                               │                                               
        [11XHomalgFiltration[111X       │ filtration of a module                        
                               │                                               
        [11XHomalgComplex[111X          │ (co)complexes of modules or of (co)complexes  
                               │                                               
        [11XHomalgChainMap[111X         │ chain maps of (co)complexes                   
                               │ consisting of maps or chain maps              
                               │                                               
        [11XHomalgBicomplex[111X        │ bicomplexes of modules or of (co)complexes    
                               │                                               
        [11XHomalgBigradedObject[111X   │ (differential) bigraded modules               
                               │                                               
        [11XHomalgSpectralSequence[111X │ homological and cohomological                 
                               │ spectral sequences                            
                               │                                               
        [11XHomalgDiagram[111X          │ Betti diagrams                                
  
       [1XTable:[101X [13XThe [5Xhomalg[105X package files (continued)[113X
  
  
  
  [1XC.3 [33X[0;0YThe High Level Homological Algorithms[133X[101X
  
        Filename [11X.gd[111X/[11X.gi[111X │ Content                                         
        ─────────────────┼─  
        [11XModules[111X          │ subfactors, resolutions,                        
                         │ parameterizations, intersections, annihilators  
        [11XToolFunctors[111X     │ zero map, composition, addition, substraction,  
                         │ stacking, augmentation, and post dividing maps  
        [11XBasicFunctors[111X    │ cokernel, image, kernel, tensor product, Hom,   
                         │ Ext, Tor, RHom, LTensorProduct, HomHom, LHomHom,
                         │ BaseChange (preliminary)                        
        [11XOtherFunctors[111X    │ direct sum                                      
  
       [1XTable:[101X [13XThe [5Xhomalg[105X package files (continued)[113X
  
  
  
  [1XC.4 [33X[0;0YLogical Implications for [5Xhomalg[105X[101X[1X Objects[133X[101X
  
        Filename [11X.gd[111X/[11X.gi[111X │ Content                                      
        ─────────────────┼─  
        [11XLIMOD[111X            │ logical implications for modules             
                         │                                              
        [11XLIHOM[111X            │ logical implications for module homomorphisms
  
       [1XTable:[101X [13XThe [5Xhomalg[105X package files (continued)[113X
  
  
