Homological Algebra Programming

HAP

Version <#Include SYSTEM "../version">
Graham Ellis Graham.Ellis@nuigalway.ie
<#Include SYSTEM "../date">

      School of Mathematics
     National University of Irelnd, Galway

     Galway
     (Ireland)

HAP is a homological algebra library for use with the GAP computer algebra system, and is still under development. The current version <#Include SYSTEM "../version"> was released on <#Include SYSTEM "../date">.
The initial focus of the library was on computations related to the cohomology of finite and infinite groups, with particular emphasis on integral coefficients. The focus has since broadened to include Steenrod algebras of finite groups, Bredon homology, cohomology of simplicial groups, and general computations in algebraic topology relating to finite CW-complexes, covering spaces, knots, knotted surfaces, and topics such as persitent homology arising in topological data analysis.
This document describes the functions available in HAP. Examples illustrating these functions are available in the tutorial/chap0.html HAP tutorial.
©right; 2005-2019 by Graham Ellis
The HAP project has been supported by the School of Maths at NUI Galway, various PhD students and postdoctoral researchers at NUI Galway, the Irish Research Council, Science Foundation Ireland, and the EU Marie Curie programme.
<#Include SYSTEM "newNewCellComplexes.xml"> <#Include SYSTEM "newNewResolutions.xml"> <#Include SYSTEM "newNewGroups.xml"> <#Include SYSTEM "newNewParallel.xml"> <#Include SYSTEM "newResolutions.xml"> <#Include SYSTEM "newModuleResolutions.xml"> <#Include SYSTEM "newInducedChainMaps.xml"> <#Include SYSTEM "newFunctors.xml"> <#Include SYSTEM "newChainComplexes.xml"> <#Include SYSTEM "newSparse.xml"> <#Include SYSTEM "newHomology.xml"> <#Include SYSTEM "newPoincare.xml"> <#Include SYSTEM "newRings.xml"> <#Include SYSTEM "newHAPprime.xml"> <#Include SYSTEM "newNonabelian.xml"> <#Include SYSTEM "newLie.xml"> <#Include SYSTEM "newPresentations.xml"> <#Include SYSTEM "newOrbits.xml"> <#Include SYSTEM "newCocycles.xml"> <#Include SYSTEM "newWords.xml"> <#Include SYSTEM "newFpgmodules.xml"> <#Include SYSTEM "newMeataxe.xml"> <#Include SYSTEM "newGouter.xml"> <#Include SYSTEM "newCat1groups.xml"> <#Include SYSTEM "newSimplicialGroups.xml"> <#Include SYSTEM "newCoxeter.xml"> <#Include SYSTEM "newTorsionSubcomplexes.xml"> <#Include SYSTEM "newSimplicial.xml"> <#Include SYSTEM "newCubical.xml"> <#Include SYSTEM "newCW.xml"> <#Include SYSTEM "newKnots.xml"> <#Include SYSTEM "newFunctionsKnotsQuandles.xml"> <#Include SYSTEM "newMetrics.xml"> <#Include SYSTEM "newCategories.xml"> <#Include SYSTEM "newPseudolists.xml"> <#Include SYSTEM "newParallel.xml"> <#Include SYSTEM "newAccess.xml"> <#Include SYSTEM "newMiscellaneous.xml"> <#Include SYSTEM "Undocumented.xml">