homalg
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
Keywords for this software
References in zbMATH (referenced in 30 articles , 1 standard article )
Showing results 1 to 20 of 30.
Sorted by year (- Barakat, Mohamed; Behrends, Reimer; Jefferson, Christopher; Kühne, Lukas; Leuner, Martin: On the generation of rank 3 simple matroids with an application to Terao’s freeness conjecture (2021)
- Posur, Sebastian: A constructive approach to Freyd categories (2021)
- Levandovskyy, Viktor; Metzlaff, Tobias; Zeid, Karim Abou: Computation of free non-commutative Gröbner bases over (\mathbbZ) with \textscSingular:Letterplace (2020)
- Levandovskyy, Viktor; Schönemann, Hans; Zeid, Karim Abou: \textscLetterplace-- a subsystem of \textscSingularfor computations with free algebras via letterplace embedding (2020)
- Posur, Sebastian: Linear systems over localizations of rings (2018)
- Bies, Martin; Mayrhofer, Christoph; Weigand, Timo: Gauge backgrounds and zero-mode counting in F-theory (2017)
- Janko Boehm, Wolfram Decker, Simon Keicher, Yue Ren: Current Challenges in Developing Open Source Computer Algebra Systems (2017) arXiv
- Böhm, Janko; Decker, Wolfram; Keicher, Simon; Ren, Yue: Current challenges in developing open source computer algebra systems (2016)
- Cano, Guillaume; Cohen, Cyril; Dénès, Maxime; Mörtberg, Anders; Siles, Vincent: Formalized linear algebra over elementary divisor rings in \textscCoq (2016)
- Delgado, M.; García-Sánchez, P. A.: numericalsgps, a GAP package for numerical semigroups (2016)
- García-Sánchez, P. A.: An overview of the computational aspects of nonunique factorization invariants (2016)
- Barakat, Mohamed: On subdirect factors of a projective module and applications to system theory. (2015)
- Heinle, Albert; Levandovskyy, Viktor: The \textscSDEvalbenchmarking toolkit (2015)
- Robertz, Daniel: Recent progress in an algebraic analysis approach to linear systems (2015)
- Barakat, Mohamed; Lange-Hegermann, Markus: On the ext-computability of Serre quotient categories (2014)
- Quadrat, A.; Robertz, D.: A constructive study of the module structure of rings of partial differential operators. (2014)
- Robertz, Daniel: Formal algorithmic elimination for PDEs (2014)
- Quadrat, Alban: Grade filtration of linear functional systems. (2013)
- Barakat, Mohamed; Cuntz, Michael: Coxeter and crystallographic arrangements are inductively free (2012)
- Barakat, Mohamed; Lange-Hegermann, Markus: The homalg project (2012) MathEduc
Further publications can be found at: http://homalg.math.rwth-aachen.de/index.php/publications