The AbelianSystems package is a homalg package (GAP4) which is dedicated to algebraic systems theory for general classes of linear systems (defining an abelian category) based on module theory and homological algebra techniques.
The OreModules and OreMorphisms packages are Maple prototypes which demonstrate the feasibility of a more professional package dedicated to mathematical systems theory based on constructive approaches of module theory and homological algebra.
Using our experience, the goal of this project is to develop a GAP4 version of these packages built upon the powerful homalg package developed by M. Barakat (University of Kaiserslautern) and his collaborators, and which is dedicated to homological algebra oriented computations.
This task is simplified by the fact that the homalg package already contains the implementation of the module theory and the homological algebra techniques available in OreModules and OreMorphisms. The homalg package also contains useful homological algebra techniques which are not available in these packages (e.g., certain spectral sequences). Moreover, the OreModules package can be directly called by the homalg package.
Using the friendly design of the homalg package, where the different layers such as the computational engine (e.g., Maple, Singular, Macaulay2, Sage, MAGMA), the module-theoretic results and the homological ones are separated, an efficient package dedicated to mathematical systems theory can now be developed in GAP4.
The main benefits of the future AbelianSystems package will be:
The AbelianSystems package already contains the implementation of the purity filtration computation of a finitely generated module (which can also be computed by the homalg package but by means of time-consuming spectral sequences), and of the equidimensional block-triangular representation of the corresponding linear system (as done in the PurityFiltration package).
The AbelianSystems package is developed by M. Barakat and A. Quadrat.
Return to the main page