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.
This commit is contained in:
gheber 2015-06-14 20:36:31 -05:00
parent b9a6785c15
commit f092de28f9
5 changed files with 11 additions and 4 deletions

View File

@ -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)

View File

@ -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")

View File

@ -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)))
|#
#|
()

View File

@ -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)

View File

@ -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)