An Algorithm Computing Homology Groups of Commutative Differential Graded Algebras with Linear Differential

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} and

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].