homalg
swMATH ID: | 411 |
Software Authors: | Barakat, Mohamed; Robertz, Daniel |
Description: | homalg: a meta-package for homological algebra. The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R. The paper describes a way allowing one to realize such functors, e.g. Hom R , ⊗ R , Ext R i , Tor i R , as a mathematical object in a computer algebra system. Once this is achieved, one can compose and derive functors and even iterate this process without the need of any specific knowledge of these functors. These ideas are realized in the ring independent package homalg. It is designed to extend any computer algebra software implementing the arithmetics of a computable ring R, as soon as the latter contains algorithms to solve inhomogeneous linear equations with coefficients in R. Beside explaining how this suffices, the paper describes the nature of the extensions provided by homalg |
Homepage: | http://homalg-project.github.io/ |
Source Code: | https://github.com/homalg-project/homalg_project |
Programming Languages: | GAP4 |
Dependencies: | GAP |
Related Software: | SINGULAR; GAP; Plural; Macaulay2; OreModules; CAP; GeneralizedMorphismsForCAP; ModulePresentationsForCAP; LinearAlgebraForCAP; SageMath; Magma; GitHub; PurityFiltration; Maple; Janet; ZariskiFrames; LocalizeRingForHomalg; Letterplace; Normaliz; OreMorphisms |
Cited in: | 32 Documents |
Further Publications: | http://homalg.math.rwth-aachen.de/index.php/publications |
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH | Year |
---|---|
homalg: a meta-package for homological algebra. Zbl 1151.13306 Barakat, Mohamed; Robertz, Daniel |
2008
|
all
top 5
Cited by 37 Authors
all
top 5
Cited in 16 Serials
all
top 5