Resumen: We present an algorithm for constructing the effective homology for the universal cover of simplicial sets with effective homology, provided that a nilpotency condition holds. This can be useful for computing higher homotopy groups, since this process can be seen as the first step in the Whitehead tower. Our algorithm can be applied to some spaces satisfying a particular condition. We also present implementations of this method in SageMath and Kenzo. Idioma: Inglés DOI: 10.1145/3614408.3614414 Año: 2023 Publicado en: ACM communications in computer algebra 57, 2 (2023), 47-50 ISSN: 1932-2232 Factor impacto CITESCORE: 0.7 - Computational Theory and Mathematics (Q4) - Computational Mathematics (Q4)