Does anybody know a software manipulating commutative differential graded algebras, and providing a computation of the minimal model? I tried to use the package DGAlgebras of Macaulay2, but I got several mistakes. For example the rational numbers are not allowed as ground ring, and the differential on a generator of a free CDGA is not allowed to be zero. Thanks
[Math] Software for rational homotopy theory
at.algebraic-topologymathematical-softwarerational-homotopy-theory
Best Answer
SageMath has a package for cdga's written by Miguel Marco and John Palmieri, with none of the restrictions mentioned: http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/commutative_dga.html.
It includes a method to produce the minimal model of a cdga up to a prescribed finite degree.