V. Alvarez, J.A. Armario, M.D. Frau, P. Real, B. Silva

Dpto. de Matemática Aplicada I,

Fac. de Informática y Estadística

Univ. de Sevilla

Avda. Reina Mercedes s/n

41012 Sevilla (Spain)

Email: {valvarez,real,silva}@cica.es and lfrau@euler.fie.us.es

**Abstract**

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 [``HPT and computability of the homology
of commutative DGA-algebras''. V.Alvarez, J.A. Armario, P. Real and B.
Silva. Conference on Secondary Calculus and Cohomological Physics. Moscow,
August,1997].