Go to file

Dima Pasechnik adcc9a6483 explain how to load the stuff		2015-06-13 19:29:36 +01:00
doc	Source reorg	2014-12-24 04:07:54 -06:00
src	a fix to allow compilation on ECL	2015-06-13 19:04:15 +01:00
test	Added effective homology test.	2015-01-01 18:52:53 -06:00
.gitignore	Updated infrastructure.	2014-12-24 08:16:17 -06:00
kenzo-test.asd	Added RESULT type corrections.	2015-01-01 18:30:57 -06:00
kenzo.asd	Updated description	2014-12-26 21:00:23 -06:00
kenzo.lisp	Specializing on the second argument to PRINT-OBJECT	2015-01-01 10:40:24 -06:00
package.lisp	Added effective homology test.	2015-01-01 18:52:53 -06:00
README.md	explain how to load the stuff	2015-06-13 19:29:36 +01:00
run-kenzo-test.lisp	Added RESULT type corrections.	2015-01-01 18:30:57 -06:00

README.md

Welcome to Kenzo

According to the title of its handbook, Kenzo is a "Symbolic Software for Effective Homology Computation" and its main audience might be students and researchers in algebraic topology. It is also a remarkable piece of LISP code, albeit in need of a little touch-up.

This is a repackaged version of the Kenzo program 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 aims to update its infrastructure by providing the following:

Installation via the Quicklisp library manager
A simple regression test suite based on FiveAM
Support for SBCL

!!! WARNING !!!

This is work in progress. The entire code now compiles fine w/ SBCL, but that's just the first step. There are plenty of examples in publications and scattered throughout the source. Many work (most?), some don't. Let's get to work! ...

To load Kenzo as provided by this repo, make sure ASDF knowns where to find the source, e.g. by creating a link to this directory at

  ~/.local/share/common-lisp/source/

Then in your Lisp (e.g. in ECL) type

(require :asdf)
(require :kenzo)