128 lines
1.4 KiB
Common Lisp
128 lines
1.4 KiB
Common Lisp
;;;; package.lisp
|
|
|
|
(defpackage #:cat
|
|
(:use #:cl)
|
|
(:export KENZO-VERSION
|
|
*CMBN-CONTROL*
|
|
*LIST-LIST*
|
|
|
|
;; chain-complexes.lisp
|
|
|
|
?2
|
|
?3
|
|
+TOO-MUCH-TIME+
|
|
BUILD-CHCM
|
|
BUILD-MRPH
|
|
CAT-INIT
|
|
CMBN-?
|
|
DO-CONTROL
|
|
GNRT-?
|
|
|
|
;; chcm-elementary-op.lisp
|
|
|
|
ADD
|
|
CMPS
|
|
IDNT-MRPH
|
|
N-MRPH
|
|
OPPS
|
|
SBTR
|
|
Z-CHCM
|
|
ZERO-MRPH
|
|
|
|
;; classes.lisp
|
|
|
|
BCC
|
|
CHAIN-COMPLEX
|
|
CMBN-CMBN
|
|
CMBN-DEGR
|
|
CMBN-LIST
|
|
DEGR
|
|
DFFR1
|
|
F
|
|
G
|
|
H
|
|
IABSM
|
|
MAKE-CMBN
|
|
MAKE-RESULT
|
|
MORPHISM
|
|
TCC
|
|
|
|
;; combinations.lisp
|
|
|
|
2CMBN-ADD
|
|
2CMBN-SBTR
|
|
2N-2CMBN
|
|
CMBN
|
|
CMBN-OPPS
|
|
DSTR-ADD-TERM-TO-CMBN
|
|
F-CMPR
|
|
L-CMPR
|
|
MAPLEXICO
|
|
N-CMBN
|
|
NCMBN-ADD
|
|
NTERM-ADD
|
|
S-CMPR
|
|
ZERO-CMBN
|
|
ZERO-INTR-DFFR
|
|
|
|
;; effective-homology.lisp
|
|
|
|
BUILD-RDCT
|
|
|
|
;; fibrations.lisp
|
|
|
|
FIBRATION-TOTAL
|
|
|
|
;; k-pi-n.lisp
|
|
|
|
K-Z
|
|
|
|
;; macros.lisp
|
|
|
|
-1-EXPT-N
|
|
?
|
|
BASIS
|
|
BINOMIAL-P-Q
|
|
CFFC
|
|
CMBN-NON-ZERO-P
|
|
CMBN-ZERO-P
|
|
CMPR
|
|
DFFR
|
|
GNRT
|
|
I-SBTR
|
|
TERM
|
|
TERM-CMBN
|
|
|
|
;; searching-homology.lisp
|
|
|
|
HOMOLOGY
|
|
|
|
;; smith.lisp
|
|
|
|
CHML-CLSS
|
|
|
|
;; special-smsts.lisp
|
|
|
|
SPHERE
|
|
BUILD-FINITE-SS
|
|
|
|
;; various.lisp
|
|
|
|
+EMPTY-LIST+
|
|
<A-B<
|
|
<A-B>
|
|
>A-B<
|
|
>A-B>
|
|
BINOMIAL-N-P
|
|
CLOCK
|
|
DONE
|
|
SRANDOM
|
|
V<A-B>
|
|
|
|
;; whitehead.lisp
|
|
|
|
Z-WHITEHEAD
|
|
|
|
))
|
|
|