From 4cdecd0e2041846c3bab70badf230d104456e6ca Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Sat, 27 Dec 2014 09:48:13 -0600 Subject: [PATCH] Update README.md --- README.md | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index f07757e..aafeddb 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,14 @@ # Welcome to Kenzo -*!!! UNDER CONSTRUCTION !!!* +According to the title of its +[handbook](http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/Kenzo-doc.pdf), +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 Xavier Dousson. The original version of the program can be found +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](http://www.quicklisp.org/beta/) library @@ -14,3 +17,10 @@ This version aims to update its infrastructure by providing the following: [FiveAM](http://common-lisp.net/project/fiveam/) (Based on tests scattered throughout the source code in comments.) 3. Support for [SBCL](http://www.sbcl.org/) + +*!!! 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](http://www-fourier.ujf-grenoble.fr/~sergerar/Papers/) and scattered +throughout the source. Many work (most?), some don't. *Let's get to work! ...*