A Symbolic Software for Effective Homology Computation by Francis Sergeraert
Welcome to Kenzo
Kenzo is a Symbolic Software for Effective Homology Computation and should be of interest to students and researchers in algebraic topology.
This repository contains a repackaged version of the Kenzo program developed by Francis Sergeraert and collaborators. The original version of the program can be found at http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/ . This version updates its infrastructure by providing the following:
- A simple regression test suite based on FiveAM
- Support for the great freely available Lisp compilers out there, including CCL, ECL, SBCL, etc.
- Installation via the Quicklisp library manager
- Updated documentation and examples runnable from cl-jupyter
The primary source of documentation is the excellent Kenzo Handbook.
The easiest way to get started with Kenzo is to peruse a matching set of
Jupyter notebooks. In the
there is one notebook for each chapter in the Kenzo handbook. NOTE: The
first time you try to access the
site, you will be prompted to authenticate via GitHub.
Please consult the Wiki for news, different installation methods, and other Kenzo topics.