A Kenzo interface for algebraic topology computations in SageMath

Abstract

In this work we present an interface between SageMath and Kenzo, together with an optional Kenzo package. Our work makes it possible to communicate both computer algebra programs and enhances the SageMath system with new capabilities in algebraic topology, dealing in particular with simplicial objects of infinite nature.