Abstract
We present a computer program to compute the explicit structural components of an A ∞-(co)algebra deduced from a contraction, which is a special type of homotopy equivalence. The input is a contraction from a dg-(co)algebra to a simple dg-module and the output is a functional object that defines the operations {μ i } i≥1 (resp. {Δ i } i≥1) in the deduced A ∞-structure on the simple dg-module. We conclude with some concrete applications.
Acknowledgements
This work was partially supported by a project of University of the Basque Country ‘EHU06/05’ and by PAICYT research project FQM-296.