Software para la teoría racional de la homotopía

Question

¿Alguien conoce un software que manipule álgebras diferenciales conmutativas graduadas, y que proporcione un cálculo del modelo mínimo? Intenté usar el paquete DGAlgebras de Macaulay2, pero tengo varios errores. Por ejemplo los números racionales no están permitidos como anillo de tierra, y el diferencial en un generador de una CDGA libre no está permitido que sea cero. Gracias

Answer 1

SageMath tiene un paquete para cdga's escrito por Miguel Marco y John Palmieri, con ninguna de las restricciones mencionadas: http://doc.sagemath.org/html/en/reference/algebras/sage/algebras/commutative_dga.html .

Incluye un método para producir el modelo mínimo de un cdga hasta un grado finito prescrito.