From edefe1d661ecdd2a694fccff59d559e3c88d316f Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Fri, 10 Jul 2015 20:44:09 -0500 Subject: [PATCH] Formatting updates. --- kenzo-test.asd | 7 +------ run-kenzo-test.lisp | 3 --- src/bar.lisp | 12 +----------- 3 files changed, 2 insertions(+), 20 deletions(-) diff --git a/kenzo-test.asd b/kenzo-test.asd index d50eefe..1ff5fdd 100644 --- a/kenzo-test.asd +++ b/kenzo-test.asd @@ -9,7 +9,6 @@ :pathname #P"test/" :components ((:file "package") (:file "common") - #| (:file "combinations-test") (:file "various-test") (:file "chain-complexes-test") @@ -22,11 +21,7 @@ (:file "homology-groups-test") (:file "searching-homology-test") (:file "delta-test") - |# (:file "bar-test") - #| (:file "cartesian-products-test") (:file "cones-test") - (:file "cl-space-efhm-test") - |# - )) + (:file "cl-space-efhm-test"))) diff --git a/run-kenzo-test.lisp b/run-kenzo-test.lisp index 7e7af87..9a872ef 100644 --- a/run-kenzo-test.lisp +++ b/run-kenzo-test.lisp @@ -1,9 +1,6 @@ (require 'asdf) -(declaim (optimize (speed 0) (space 0) (debug 3))) - (asdf:operate 'asdf:load-op 'kenzo-test) - (fiveam:run!) #+ccl(quit) diff --git a/src/bar.lisp b/src/bar.lisp index 13e2438..b8a6b9d 100644 --- a/src/bar.lisp +++ b/src/bar.lisp @@ -515,6 +515,7 @@ :rrdct (vrtc-bar rrdct) :orgn `(vrtc-bar ,hmeq)))))) + (DEFMETHOD BAR ((hmeq homotopy-equivalence)) (unless (typep (lbcc hmeq) 'algebra) (error "In (BAR HMEQ), the LBCC should be a algebra.")) @@ -522,14 +523,3 @@ (if (eq (first (orgn hmeq)) 'trivial-hmeq) (trivial-hmeq (bar (lbcc hmeq))) (add (vrtc-bar hmeq) (bar-hrzn-dffr (lbcc hmeq)))))) - -#| -(cat-init) -(setf h (efhm (k-z-1))) -(setf b (bar h)) -(inspect b) -(homology (rbcc b) 0 11) -|# - - -