mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Formatting updates.

Browse Source
This commit is contained in:
Gerd Heber 2015-07-10 20:44:09 -05:00
parent a8623228e1
commit edefe1d661
3 changed files with 2 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
kenzo-test.asd
View File

@ -9,7 +9,6 @@
:pathname #P"test/" :pathname #P"test/"
:components ((:file "package") :components ((:file "package")
(:file "common") (:file "common")
#|
(:file "combinations-test") (:file "combinations-test")
(:file "various-test") (:file "various-test")
(:file "chain-complexes-test") (:file "chain-complexes-test")
@ -22,11 +21,7 @@
(:file "homology-groups-test") (:file "homology-groups-test")
(:file "searching-homology-test") (:file "searching-homology-test")
(:file "delta-test") (:file "delta-test")
|#
(:file "bar-test") (:file "bar-test")
#|
(:file "cartesian-products-test") (:file "cartesian-products-test")
(:file "cones-test") (:file "cones-test")
(:file "cl-space-efhm-test") (:file "cl-space-efhm-test")))
|#
))

3
run-kenzo-test.lisp
View File

@ -1,9 +1,6 @@
(require 'asdf) (require 'asdf)
(declaim (optimize (speed 0) (space 0) (debug 3)))
(asdf:operate 'asdf:load-op 'kenzo-test) (asdf:operate 'asdf:load-op 'kenzo-test)
(fiveam:run!) (fiveam:run!)
#+ccl(quit) #+ccl(quit)

12
src/bar.lisp
View File

@ -515,6 +515,7 @@
:rrdct (vrtc-bar rrdct) :rrdct (vrtc-bar rrdct)
:orgn `(vrtc-bar ,hmeq)))))) :orgn `(vrtc-bar ,hmeq))))))
(DEFMETHOD BAR ((hmeq homotopy-equivalence)) (DEFMETHOD BAR ((hmeq homotopy-equivalence))
(unless (typep (lbcc hmeq) 'algebra) (unless (typep (lbcc hmeq) 'algebra)
(error "In (BAR HMEQ), the LBCC should be a algebra.")) (error "In (BAR HMEQ), the LBCC should be a algebra."))
@ -522,14 +523,3 @@
(if (eq (first (orgn hmeq)) 'trivial-hmeq) (if (eq (first (orgn hmeq)) 'trivial-hmeq)
(trivial-hmeq (bar (lbcc hmeq))) (trivial-hmeq (bar (lbcc hmeq)))
(add (vrtc-bar hmeq) (bar-hrzn-dffr (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)
|#