The
AbelianSystems (click here)
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:
homalg
philosophy, inherited from GAP4
, one
could use its facilities to learn many pieces of
information on a linear system,
which were not directly asked by the user, during a particular computation. These
properties will be stored and used to infer more properties on the linear systems through rules (theorems) as it
is done in mathematics.
homalg
package with
respect to the computational engine (which, even between two
computations, can be turned to OreModules
, JanetOre
,
Singular
, Macaulay2
, MAGMA
or Sage
) and
its interface with Maple
, the efficiency of the new package will be
much higher than the ones of the OreModules
and OreMorphisms
packages since the fastest engine can be used to handle a particular computation. Moreover, it will also give us the opportunity to use the last improvements and facilities of each computer algebra system.
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.