Que sistema de álgebra computacional me permite calcular la homología de un complejo de finitely presentado abelian grupos, que no son necesariamente de forma gratuita?
La salvia y el Magma al parecer no: ver aquí y aquí.
Edit: debo especificar que el principal obstáculo para mí de hacerlo a mano con un CAS es la falta de un algoritmo para calcular el núcleo de un homomorphism entre finitely generado abelian grupos.
