From 48e26406cd1fca6364e85fefef7275643cf35d4c Mon Sep 17 00:00:00 2001
From: Gerd Heber <gheber@hdfgroup.org>
Date: Mon, 17 Aug 2015 20:51:01 -0500
Subject: [PATCH] Have an interactive and a no-wait version of CHECK-RDCT.

---
 package.lisp                |  1 +
 src/effective-homology.lisp | 24 ++++++++++++++++++++++++
 2 files changed, 25 insertions(+)

diff --git a/package.lisp b/package.lisp
index 568fb3e..67bac71 100644
--- a/package.lisp
+++ b/package.lisp
@@ -272,6 +272,7 @@
 	   BUILD-HMEQ
 	   BUILD-RDCT
 	   CHECK-RDCT
+	   CHECK-RDCT-NO-WAIT
 	   CMPS
 	   PRE-CHECK-RDCT
 	   RDCT
diff --git a/src/effective-homology.lisp b/src/effective-homology.lisp
index 27afc0d..188dc1c 100644
--- a/src/effective-homology.lisp
+++ b/src/effective-homology.lisp
@@ -300,6 +300,30 @@ the <Enter> key.
   (done))
 
 
+(DEFUN CHECK-RDCT-NO-WAIT ()
+  "--------------------------------------------------------------[function-doc]
+CHECK-RDCT-NO-WAIT
+Args: ()
+Maps combinations of the top and bottom chain complexes of a reduction using
+the morphisms created by PRE-CHECK-RDCT. Having no parameters, the
+combinations must be provided via the Lisp global variables *TC* and *BC*,
+for the top and bottom chain complex, respectively. If the morphisms are
+coherent, the result of each mapping is a null combination.
+------------------------------------------------------------------------------"
+  (dolist (cmbn '(*tc* *bc*))
+    (declare (type symbol cmbn))
+    (format t "~%~A => ~A" cmbn (eval cmbn)))
+  (dolist (phi '(*tdd* *bdd* *df-fd* *dg-gd* *id-fg* *id-gf-dh-hd*
+		 *hh* *fh* *hg*))
+    (declare (type symbol phi))
+    (format t "~%Checking ~A = 0" phi)
+    (format t "~%Result: ")
+    (princ (cmbn-? (eval phi)
+		   (if (member phi '(*bdd* *dg-gd* *id-fg* *dg-gd* *hg*))
+		       *bc* *tc*))))
+  (done))
+
+
 (DEFMETHOD CMPS ((brdct reduction) (trdct reduction) &optional dummy)
   (declare (ignore dummy))
   (when (eq (first (orgn brdct)) 'trivial-rdct)