From 9ea8e6fbab8054ca2d4ba33ccdcd2a29861566c9 Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Sat, 4 Jul 2015 16:48:59 -0500 Subject: [PATCH] Added a few exports. --- package.lisp | 27 ++++++++++++++++++++++++++- 1 file changed, 26 insertions(+), 1 deletion(-) diff --git a/package.lisp b/package.lisp index 8fa6896..cf73fec 100644 --- a/package.lisp +++ b/package.lisp @@ -3,8 +3,22 @@ (defpackage #:cat (:use #:cl) (:export KENZO-VERSION + + ;; kenzo.lisp + + *BC* + *BDD* *CMBN-CONTROL* + *DF-FD* + *DG-GD* + *FH* + *HG* + *HH* + *ID-FG* + *ID-GF-DH-HD* *LIST-LIST* + *TC* + *TDD* ;; chain-complexes.lisp @@ -25,7 +39,6 @@ KD2 MRPH - ;; chcm-elementary-op.lisp ADD @@ -49,10 +62,14 @@ F G H + HOMOTOPY-EQUIVALENCE IABSM + LRDCT MAKE-CMBN MAKE-RESULT MORPHISM + ORGN + REDUCTION TCC ;; combinations.lisp @@ -78,6 +95,11 @@ ;; effective-homology.lisp BUILD-RDCT + CHECK-RDCT + CMPS + PRE-CHECK-RDCT + TRIVIAL-HMEQ + TRIVIAL-RDCT ;; fibrations.lisp @@ -92,6 +114,7 @@ -1-EXPT-N ? BASIS + BCC BINOMIAL-P-Q CFFC CMBN-NON-ZERO-P @@ -100,8 +123,10 @@ DFFR GNRT I-SBTR + RBCC TERM TERM-CMBN + TCC ;; searching-homology.lisp