From 39197123b442b1db438666998c33d3fc65fd872f Mon Sep 17 00:00:00 2001
From: gheber <leberecht@beingandti.me>
Date: Wed, 8 Jul 2015 07:51:19 -0500
Subject: [PATCH] First batch of DELTA tests.

---
 kenzo-test.asd       |  3 ++-
 package.lisp         |  6 ++++++
 test/delta-test.lisp | 37 +++++++++++++++++++++++++++++++++++++
 3 files changed, 45 insertions(+), 1 deletion(-)
 create mode 100644 test/delta-test.lisp

diff --git a/kenzo-test.asd b/kenzo-test.asd
index 635403a..44ce3cd 100644
--- a/kenzo-test.asd
+++ b/kenzo-test.asd
@@ -19,4 +19,5 @@
 	       (:file "effective-homology-test")
 	       (:file "bicones-test")
 	       (:file "homology-groups-test")
-	       (:file "searching-homology-test")))
+	       (:file "searching-homology-test")
+	       (:file "delta-test")))
diff --git a/package.lisp b/package.lisp
index 3e05054..39e0f16 100644
--- a/package.lisp
+++ b/package.lisp
@@ -72,6 +72,7 @@
 	   DFFR1
 	   F
 	   G
+	   GMSM
 	   H
 	   HOMOTOPY-EQUIVALENCE
 	   IABSM
@@ -107,7 +108,10 @@
 	   ;; delta.lisp
 
 	   DELTA
+	   DELTA-FACE
 	   DELTA-N-BASIS
+	   SOFT-DELTA-CMPR
+	   SOFT-DELTA-FACE
 
 	   ;; effective-homology.lisp
 
@@ -149,6 +153,7 @@
 	   DFFR
 	   GNRT
 	   I-SBTR
+	   MASK
 	   RBCC
 	   TERM
 	   TERM-CMBN
@@ -160,6 +165,7 @@
 
 	   ;; simplicial-sets.lisp
 
+	   DLOP-EXT-INT
 	   DLOP-INT-EXT
 
 	   ;; smith.lisp
diff --git a/test/delta-test.lisp b/test/delta-test.lisp
new file mode 100644
index 0000000..09965b4
--- /dev/null
+++ b/test/delta-test.lisp
@@ -0,0 +1,37 @@
+
+(in-package :kenzo-test)
+
+(in-suite :kenzo)
+
+(test soft-delta-cmpr
+      (is (equal :less (cat:soft-delta-cmpr '(d 12) '(d 23)))))
+
+(defun faces (i lst)
+  (cat:dlop-int-ext
+   (cat:gmsm
+    (cat:delta-face i 3 (cat:dlop-ext-int lst)))))
+
+(test delta-face
+      (is (equal '(1 2 3) (faces 0 '(0 1 2 3))))
+      (is (equal '(0 2 3) (faces 1 '(0 1 2 3))))
+      (is (equal '(0 1 3) (faces 2 '(0 1 2 3))))
+      (is (equal '(0 1 2) (faces 3 '(0 1 2 3))))
+      (is (equal '(2 4 6) (faces 0 '(0 2 4 6))))
+      (is (equal '(0 4 6) (faces 1 '(0 2 4 6))))
+      (is (equal '(0 2 6) (faces 2 '(0 2 4 6))))
+      (is (equal '(0 2 4) (faces 3 '(0 2 4 6))))
+
+      (dotimes (i 4)
+	(print (cat:soft-delta-face i 3 `(:delt ,(cat:mask 4)))))
+      
+      (dotimes (i 4)
+	(print (cat:soft-delta-face i 3 `(:delt
+					  ,(cat:dlop-ext-int '(0 2 4 6)))))))
+
+#|
+(test homology
+      (progn
+	(cat:cat-init)
+	(let ((d (cat:delta 3)))
+	  (princ (cat:homology d 0)))))
+|#