diff --git a/README.md b/README.md index f1ba8b1..639857a 100644 --- a/README.md +++ b/README.md @@ -11,8 +11,8 @@ Have a look at the [overview](https://lisp.style/) to get a sense for what's there for you to discover. It is also a remarkable piece of LISP code, albeit in need of a little touch-up. -This repository contains a repackaged version of the Kenzo program by Francis Sergeraert -and collaborators. The original version of the program can be found +This repository contains 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: @@ -46,7 +46,8 @@ Then in your Lisp (e.g., in ECL) type ### Quicklisp -Assuming you have [Quicklisp](http://www.quicklisp.org/beta/), there isn't really much to say here: +Assuming you have [Quicklisp](http://www.quicklisp.org/beta/), there isn't +really much to say here: ``` * (ql:quickload :kenzo) @@ -65,7 +66,8 @@ To load "kenzo": * ``` -Verify that you're good to go by loading and running the Kenzo regression test suite. For example, in an SBCL prompt you should see something like this: +Verify that you're good to go by loading and running the Kenzo regression test +suite. For example, in an SBCL prompt you should see something like this: ``` * (ql:quickload :kenzo-test) To load "kenzo-test": @@ -74,16 +76,28 @@ To load "kenzo-test": ; Loading "kenzo-test" . (:KENZO-TEST) -* (fiveam:run!) +* (fiveam:run! :kenzo) Running test suite KENZO Running test F-CMPR .......... Running test L-CMPR .......... Running test S-CMPR ..... ... + + Running test BINOMIAL-N-P ...... + Running test BINOMIAL-P-Q ...... + Running test . + Running test >A-B< . + Running test >A-B> . + Running test V . + Running test SRANDOM .................... + Running test Z-WHITEHEAD-SINTR +---done---. + Running test Z2-WHITEHEAD-SINTR ---done--- -Did 1482 checks. - Pass: 1482 (100%) + Did 1501 checks. + Pass: 1501 (100%) Skip: 0 ( 0%) Fail: 0 ( 0%) ``` diff --git a/test/suspensions-test.lisp b/test/suspensions-test.lisp index 221b123..b12dc34 100644 --- a/test/suspensions-test.lisp +++ b/test/suspensions-test.lisp @@ -29,7 +29,6 @@ (funcall intr (cat:cmbn 3 66 7)))) -#| (test suspension (cat:cat-init) (let* ((cc (cat:deltab)) @@ -40,15 +39,8 @@ (cat:? scc 3 11) (setf scc (cat:suspension cc 2)) (cat:? scc 4 11))) -|# - -(test suspension-intr-cprd - (cat:suspension-intr-cprd (cat:cmbn 0)) - (cat:suspension-intr-cprd (cat:cmbn 0 5 :s-bsgn)) - (cat:suspension-intr-cprd (cat:cmbn 3 4 7 5 11))) -#| (test coal (cat:cat-init) (let* ((coal (cat:deltab)) @@ -56,7 +48,7 @@ (setf scoal (cat:suspension coal)) (cat:? scoal 3 7) (cat:cprd scoal 3 7))) -|# + (test suspension-face (cat:cat-init) @@ -82,7 +74,6 @@ )) -#| (test suspension1 (cat:cat-init) (let* ((d (cat:deltab)) @@ -97,21 +88,8 @@ (cat:homology sm 0 5) (setf ssm (cat:suspension sm)) (cat:homology ssm 0 6))) -|# -(test suspension-intr - (cat:cat-init) - (let* ((f (cat:idnt-mrph (cat:deltab))) - (sf (cat:suspension-intr f)) - (d (cat:dffr (cat:deltab))) - (sd (cat:suspension-intr d))) - (funcall sf (cat:cmbn 0 3 :s-bsgn)) - (funcall sf (cat:cmbn 2 4 3)) - (funcall sd (cat:cmbn 0 3 :s-bsgn)) - (funcall sd (cat:cmbn 2 4 3)) - (funcall sd (cat:cmbn 3 4 7)))) -#| (test suspension2 (cat:cat-init) (let* ((f (cat:idnt-mrph (cat:deltab))) @@ -142,4 +120,3 @@ (cat:cat-init) (let ((sk (cat:suspension (cat:k-z 2)))) (cat:homology sk 0 10))) -|#