Added ignore declarations.

This commit is contained in:
Gerd Heber 2015-07-04 16:55:43 -05:00
parent b6c2f46f4f
commit f58e12d2fd
2 changed files with 4 additions and 1 deletions

View File

@ -109,6 +109,7 @@
;; (f3 (cat:z-whitehead s3 2ch3)) ;; (f3 (cat:z-whitehead s3 2ch3))
;; (x (cat:fibration-total f3)) ;; (x (cat:fibration-total f3))
(k (cat:k-z 3))) (k (cat:k-z 3)))
(declare (ignore k 2ch3))
;; (cat:homology x 0 10) ;; (cat:homology x 0 10)
;; (setf ch3 (cat:chml-clss k 3)) ;; (setf ch3 (cat:chml-clss k 3))
;; (setf 2ch3 (cat:n-mrph 2 ch3)) ;; (setf 2ch3 (cat:n-mrph 2 ch3))

View File

@ -6,7 +6,9 @@
(defun circle () (defun circle ()
(the cat:chain-complex (the cat:chain-complex
(cat:build-chcm (cat:build-chcm
:cmpr #'(lambda (gnrt1 gnrt2) (the cat:cmpr :equal)) :cmpr #'(lambda (gnrt1 gnrt2)
(declare (ignore gnrt1 gnrt2))
(the cat:cmpr :equal))
:basis #'(lambda (dmns) :basis #'(lambda (dmns)
(the list (the list
(case dmns (0 '(*)) (1 '(s1)) (case dmns (0 '(*)) (1 '(s1))