mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
13 Commits 2 Branches 0 Tags 5.1 MiB
Common Lisp 99.8%
Dockerfile 0.2%
4cdecd0e20
Go to file
Gerd Heber 4cdecd0e20 Update README.md
2014-12-27 09:48:13 -06:00
doc Source reorg 2014-12-24 04:07:54 -06:00
src Added another combinations test. 2014-12-26 20:51:13 -06:00
test Added another combinations test. 2014-12-26 20:51:13 -06:00
.gitignore Updated infrastructure. 2014-12-24 08:16:17 -06:00
kenzo-test.asd Added chcm-elementary-op tests. 2014-12-26 18:10:33 -06:00
kenzo.asd Updated description 2014-12-26 21:00:23 -06:00
kenzo.lisp Moved all global variables to kenzo.lisp 2014-12-26 20:04:29 -06:00
package.lisp Added chcm-elementary-op tests. 2014-12-26 18:10:33 -06:00
README.md Update README.md 2014-12-27 09:48:13 -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:

  1. Installation via the Quicklisp library manager
  2. A simple regression test suite based on FiveAM (Based on tests scattered throughout the source code in comments.)
  3. 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! ...