diff --git a/test/k-pi-n-test.lisp b/test/k-pi-n-test.lisp index e5af7ce..f193c5c 100644 --- a/test/k-pi-n-test.lisp +++ b/test/k-pi-n-test.lisp @@ -124,11 +124,11 @@ (let ((k (cat:k-z2-1))) (cat:homology k 0 4))) -#| + (test k-z2-homology (let ((k3 (cat:k-z2 3))) (cat:homology k3 7))) -|# + (test z2-bar-absm (dotimes (i 8) ;;; not really legal @@ -169,7 +169,6 @@ :orgn '(essai-2))) (cat:gmsm-cocycle (cat:face d) 1 4 31 chml-clss))) -#| (test z-cocycle-gbar (cat:cat-init) (let* ((d (cat:delta 10)) @@ -211,4 +210,3 @@ :orgn '(essai-33))) (cat:gmsm-cocycle (cat:face d) 3 4 31 chml-clss) (cat:z-cocycle-gbar 3 4 *))) -|# diff --git a/test/simplicial-groups-test.lisp b/test/simplicial-groups-test.lisp index 4808f8e..ba6e264 100644 --- a/test/simplicial-groups-test.lisp +++ b/test/simplicial-groups-test.lisp @@ -3,7 +3,6 @@ (in-suite :kenzo) -#| (test check-kan (cat:cat-init) (let* ((k (cat:k-z-1)) @@ -12,4 +11,3 @@ (cat: 0 3)))) (dotimes (i 4) (cat:check-kan k i 3 (remove (nth i hat) hat :test #'equal))))) -|# diff --git a/test/tensor-products-test.lisp b/test/tensor-products-test.lisp index a29d8f5..3ac2f42 100644 --- a/test/tensor-products-test.lisp +++ b/test/tensor-products-test.lisp @@ -130,7 +130,7 @@ (cat:? ddd 5 (cat:tnpr 2 7 3 15)) (cat:? ddd 5 (cat:tnpr 3 15 2 7)))) -#| + (test tnsr-prdc1 (cat:cat-init) (let* ((r (cat:ez (cat:delta-infinity) (cat:delta-infinity))) @@ -142,9 +142,9 @@ (cat:pre-check-rdct r2) (check-rdct))) + (test tnsr-prdc2 (cat:cat-init) (let* ((k (cat:k-z 2)) (k2 (cat:tnsr-prdc k k))) (cat:homology k2 0 10))) -|#