The homalg project -- Algorithmic Homological Algebra

  • Increase font size
  • Default font size
  • Decrease font size
The homalg project -- Algorithmic Homological Algebra

The homalg project is a multi-author multi-package open source software project for constructive homological algebra.

Mainly written in GAP4 it allows the use of external programs and other computer algebra systems (CASs) for specific time critical tasks.
Although the central part of the source code is the formalization of abstract notions like Abelian categories, our focus lies on concrete applications ranging from linear control theory to commutative algebra and algebraic geometry.

A big part of the project is already distributed with GAP. The yet undeposited packages and the tested development versions of all packages can be downloaded from the project GitHub homepage.

The core part of the project is the homalg package. It provides an abstract structure and algorithms for abelian categories.

The other modules, so called packages, of the homalg-project implement data structures and algorithms for several mathematical objects, like modules over graded rings or toric varieties.


Homalg online

You can try homalg online.

The online version with the latest GAP version and the latest homalg project packages installed can be accessed via"ssh" .

Martin Leuner also provided an App for OS X to start an homalg online console.



Search the homalg project