HAP is a homological algebra library for use with the GAP computer algebra system, and is still under development. Its initial focus is on computations related to the cohomology of groups. Both finite and infinite groups are handled, with emphasis on integral coefficients. Recent additions include some functions for computing homology of crossed modules and simplicial groups, and also some functions for handling simplicial complexes, cubical complexes and regular CW-complexes in the context of topological data analysis.

References in zbMATH (referenced in 39 articles , 1 standard article )

Showing results 21 to 39 of 39.
Sorted by year (citations)
  1. Jezernik, Urban; Moravec, Primož: Bogomolov multipliers of groups of order 128 (2014)
  2. Kaczynski, Tomasz; Mrozek, Marian: The cubical cohomology ring: an algorithmic approach (2013)
  3. Niroomand, Peyman; Rezaei, Rashid: The exterior degree of a pair of finite groups. (2013)
  4. Romero, Ana; Rubio, Julio: Homotopy groups of suspended classifying spaces: an experimental approach (2013)
  5. Álvarez, Víctor; Armario, José Andrés; Frau, María Dolores; Real, Pedro: Homological models for semidirect products of finitely generated Abelian groups. (2012)
  6. Ellis, Graham; Van Luyen, Le: Computational homology of (n)-types (2012)
  7. Moghaddam, Mohammad Reza R.; Niroomand, Peyman: Some properties of certain subgroups of tensor squares of (p)-groups. (2012)
  8. Romero, Ana; Rubio, Julio: Computing the homology of groups: the geometric way. (2012)
  9. Dutour Sikirić, Mathieu; Ellis, Graham; Schürmann, Achill: On the integral homology of (\textPSL_4(\mathbbZ)) and other arithmetic groups (2011)
  10. Ellis, Graham; Smith, Paul: Computing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence. (2011)
  11. Heras, Jónathan; Pascual, Vico; Rubio, Julio: A system for computing and reasoning in algebraic topology (2011)
  12. Heras, Jónathan; Pascual, Vico; Romero, Ana; Rubio, Julio: Integrating multiple sources to answer questions in algebraic topology (2010)
  13. Röder, Marc: Geometric algorithms for resolutions for Bieberbach groups. (2010)
  14. Dutour Sikirić, Mathieu; Ellis, Graham: Wythoff polytopes and low-dimensional homology of Mathieu groups. (2009)
  15. Heras, Jónathan; Pascual, Vico; Rubio, Julio: Using open mathematical documents to interface computer algebra and proof assistant systems (2009)
  16. Romero, Ana; Ellis, Graham; Rubio, Julio: Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP (2009)
  17. Dietrich, Heiko; Eick, Bettina; Feichtenschlager, Dörte: Investigating (p)-groups by coclass with GAP. (2008)
  18. Ellis, Graham: Homological algebra programming. (2008)
  19. Joyner, David: A primer on computational group homology and cohomology using \textttGAPand \textttSAGE. (2008)