Making Sullivan algebras minimal through chain contractions (Q2223080)

Sullivan algebras play important roles in rational homotopy theory. In the paper under review, the authors give an effective algorithm that with a non-minimal Sullivan algebra ends with its minimal model. This algorithm is a kind of modified AT-model algorithm used to compute a chain contraction providing other kinds of topological information such as (co)homology, cup products on cohomology and persistent homology.