From f092de28f9e344b3f00b4afbcb1fd5402a8c6a44 Mon Sep 17 00:00:00 2001 From: gheber Date: Sun, 14 Jun 2015 20:36:31 -0500 Subject: [PATCH] File issues #9, #10, #11, #12, #13 There are several functions preventing compilation and loading via (asdf:operate 'asdf:load-op 'kenzo). They've been commented for now. --- src/chain-complexes.lisp | 7 +++---- src/cobar.lisp | 2 ++ src/ls-twisted-products.lisp | 2 ++ src/smith.lisp | 2 ++ src/tensor-products.lisp | 2 ++ 5 files changed, 11 insertions(+), 4 deletions(-) diff --git a/src/chain-complexes.lisp b/src/chain-complexes.lisp index 0333ab8..27f7390 100644 --- a/src/chain-complexes.lisp +++ b/src/chain-complexes.lisp @@ -225,7 +225,6 @@ ;;; FUNCTIONS - (DEFUN NRESULTS () (the fixnum (let ((nrslts 0)) @@ -240,6 +239,7 @@ (rslts item)))) nrslts))) +#| (DEFUN TIME-LIST () (the list (let ((time-list +empty-list+)) @@ -258,6 +258,7 @@ drslt)) (rslts item)))) (sort time-list #'>)))) +|# (DEFUN CLEAN-RESULTS (&optional (results-coef *results-coef*)) (declare @@ -292,8 +293,6 @@ (format t "~%*CR* -- Cut = ~A -- N = ~A" cut *results-n*))))) - - (DEFUN MRPH-GNRT (cmpr2 intr degr gnrt memory &optional (left -1) (right (fill-pointer memory))) (declare @@ -393,7 +392,6 @@ (cdar mark1))))) cmbn) - #| (DEFVAR *PROFILER-STACK*) (SETF *PROFILER-STACK* +empty-list+) @@ -419,6 +417,7 @@ (incf (wrtm mrph) time-spent))) |# + (DEFUN GNRT-? (mrph degr gnrt) (declare (type morphism mrph) diff --git a/src/cobar.lisp b/src/cobar.lisp index 4bcc0af..a1e2cd0 100644 --- a/src/cobar.lisp +++ b/src/cobar.lisp @@ -530,6 +530,7 @@ (? cf 2 (allp 1 (crpr 0 (d 7) 0 (d 7)) 1 (crpr 0 (d 56) 0 (d 56)))) |# +#| (DEFUN HMTP-VRTC-COBAR-INTR (h gf) (declare (type morphism h gf)) (flet ((rslt (degr allp) @@ -578,6 +579,7 @@ :degr (1+ degr) :list (rest rslt))))) (the intr-mrph #'rslt))) +|# #| (require "special-smsts") diff --git a/src/ls-twisted-products.lisp b/src/ls-twisted-products.lisp index 8f27259..bed7f3a 100644 --- a/src/ls-twisted-products.lisp +++ b/src/ls-twisted-products.lisp @@ -319,6 +319,7 @@ (pop-first-absm 4 (cdr (loop3 2 'a +1 1 'b 3))) |# +#| (DEFUN CRTS-CONTRACTION-INTR (base-cmpr base-bspn base-face crts-cmpr) (declare (type cmprf base-cmpr crts-cmpr) @@ -400,6 +401,7 @@ (hh absm1 loop-absm2))))))) (the intr-mrph #'rslt))) +|# #| () diff --git a/src/smith.lisp b/src/smith.lisp index 58a9ad1..c5ff584 100644 --- a/src/smith.lisp +++ b/src/smith.lisp @@ -467,6 +467,7 @@ (minimal-rest-2 m 1) |# +#| (DEFUN MINIMAL-TERM-TOP-LEFT (mtrx-list begin il ic) (declare (list mtrx-list) @@ -479,6 +480,7 @@ (when (minusp (aref (third mtrx-list) begin begin)) (line-minus-5 mtrx-list begin begin)) mtrx-list))) +|# #| (setf p (idnt-mtrx 4) p-1 (idnt-mtrx 4) diff --git a/src/tensor-products.lisp b/src/tensor-products.lisp index eb3e2a4..d37fd73 100644 --- a/src/tensor-products.lisp +++ b/src/tensor-products.lisp @@ -140,6 +140,7 @@ (print (funcall bas i)))) |# +#| (DEFUN TNSR-PRDC-INTR-DFFR (dffr1 dffr2) (declare (type morphism dffr1 dffr2)) (flet ((rslt (degr tnpr) @@ -174,6 +175,7 @@ (tnpr degr1 gnrt1 degr2-1 gnrt2)))) list2)))))))) (the intr-mrph #'rslt))) +|# #| (cat-init)