Skip to content

Latest commit

 

History

History
163 lines (104 loc) · 11.7 KB

README.md

File metadata and controls

163 lines (104 loc) · 11.7 KB

homalg project View code

The packages of the homalg project

Build Status Code Coverage
Build Status Code Coverage

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 up to spectral sequences of multigraded complexes.

The other packages of the homalg project implement data structures and algorithms for several mathematical objects, like modules over graded rings. For more packages based on the homalg project see the table on this page.

This slideshow visualizes the interdependency of most of the packages in this repository:

the
 homalg slideshow

Packages of homalg_project:

Name Description Documentation
homalg A homological algebra meta-package for computable Abelian categories HTML stable documentation PDF stable documentation
4ti2Interface A link to 4ti2 HTML stable documentation PDF stable documentation
ExamplesForHomalg Examples for the GAP Package homalg HTML stable documentation PDF stable documentation
Gauss Extended Gauss functionality for GAP HTML stable documentation PDF stable documentation
GaussForHomalg Gauss functionality for the homalg project HTML stable documentation PDF stable documentation
GradedModules A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings HTML stable documentation PDF stable documentation
GradedRingForHomalg Endow Commutative Rings with an Abelian Grading HTML stable documentation PDF stable documentation
HomalgToCAS A window to the outer world HTML stable documentation PDF stable documentation
IO_ForHomalg IO capabilities for the homalg project HTML stable documentation PDF stable documentation
LocalizeRingForHomalg A Package for Localization of Polynomial Rings HTML stable documentation PDF stable documentation
MatricesForHomalg Matrices for the homalg project HTML stable documentation PDF stable documentation
Modules A homalg based package for the Abelian category of finitely presented modules over computable rings HTML stable documentation PDF stable documentation
RingsForHomalg Dictionaries of external rings HTML stable documentation PDF stable documentation
SCO SCO - Simplicial Cohomology of Orbifolds HTML stable documentation PDF stable documentation
ToolsForHomalg Special methods and knowledge propagation tools HTML stable documentation PDF stable documentation