We present here an implementation in Mathematica of an algorithm for computing the integer algebra homology of commutative differential graded algebras with linear differential.
This algorithm is essentially based on the method described in V. Alvarez, J. A. Armario, P. Real, and B. Silva, "HPT and
computability of the homology of commutative DGA-algebras," Conference on Secondary Calculus and Cohomological Physics, Moscow,
August, 1997.