Integration of Kenzo program with SimplicialSets

In this project we pretend to continue with the integration of the Kenzo program and SageMath. Specifically, we propose to combine the functions and techniques of algebraic topology for simplicial sets developed in Kenzo and those existing in the module SimplicialSets of SageMath, in order to complement and enrich the functionalities for computing invariants of such spaces in SageMath.