Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies
DISCO - 2011

Section: Software


Participants : Alban Quadrat [correspondent] , Mohamed Barakat [Univ. Kaiserslautern] .

The AbelianSystems package is an implementation of an algorithm developed in [97] , [77] , [76] for the computation of the purity/grade filtration [102] , [103] in the powerful homalg package of GAP 4 dedicated to constructive homological algebra methods, and developed by Barakat (University of Kaiserslautern) and his collaborators ( ). This package both supersedes the existing PurityFiltration package which uses the non-efficient Maple Gröbner basis computation (see Section  5.7 ), and the original homalg procedure which computes purity filtration by means of time-consuming spectral sequences. Using the homalg package philosophy, the AbelianSystems package can be used for the computation of the purity filtration of objects in different constructive abelian categories such as sheaves over projective varieties as demonstrated in the homag package called Sheaves (see ).