Solvable differential graded R-modules algorithms (SDGMA)

This article describes the SDGMA (Solvable Differential Graded R-Modules Algorithms) package, a GAP package to construct a classification for some types of differential graded R-modules. This classification gives a partial algorithm to test whether such modules are solvable. For modules outside the classification we cannot decide, using our methods, whether or not they are solvable. This classification depends on two basic factors; the dimension D of the module and the degree of the differential on the module P. These two factors the input for the main function SolvableModule in our algorithm. In addition, if the module is solvable then the package gives the proof that it is solvable.