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
