mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Formatting updates.

Browse Source
This commit is contained in:
Gerd Heber 2015-11-26 21:10:33 -06:00
parent ffdcb9cd7f
commit c5c67b83fe
2 changed files with 147 additions and 149 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

96
kenzo-test.asd
View File

@ -1,50 +1,50 @@
(defsystem :kenzo-test (defsystem :kenzo-test
:description "A simple regression test suite for Kenzo" :description "A simple regression test suite for Kenzo"
:serial t :serial t
:version "0.1.0" :version "0.1.0"
:author "Francis Sergeraert <Francis.Sergeraert@ujf-grenoble.fr>" :author "Francis Sergeraert <Francis.Sergeraert@ujf-grenoble.fr>"
:license "GPLv3" :license "GPLv3"
:depends-on (:kenzo :fiveam) :depends-on (:kenzo :fiveam)
:pathname #P"test/" :pathname #P"test/"
:components ((:file "package") :components ((:file "package")
(:file "common") (:file "common")
;; === test files === ;; === test files ===
(:file "bar-test") (:file "bar-test")
(:file "bicones-test") (:file "bicones-test")
(:file "cartesian-products-test") (:file "cartesian-products-test")
(:file "ccn") (:file "ccn")
(:file "chain-complexes-test") (:file "chain-complexes-test")
(:file "chcm-elementary-op-test") (:file "chcm-elementary-op-test")
(:file "circle") (:file "circle")
(:file "cl-space-efhm-test") (:file "cl-space-efhm-test")
(:file "classifying-spaces-test") (:file "classifying-spaces-test")
(:file "cobar-test") (:file "cobar-test")
(:file "combinations-test") (:file "combinations-test")
(:file "cones-test") (:file "cones-test")
(:file "cs-twisted-products-test") (:file "cs-twisted-products-test")
(:file "delta-test") (:file "delta-test")
(:file "diabolo") (:file "diabolo")
(:file "disk-pasting-test") (:file "disk-pasting-test")
(:file "eilenberg-zilber-test") (:file "eilenberg-zilber-test")
(:file "effective-homology-test") (:file "effective-homology-test")
(:file "fibrations-test") (:file "fibrations-test")
(:file "homology-groups-test") (:file "homology-groups-test")
(:file "k-pi-n-test") (:file "k-pi-n-test")
(:file "kan-test") (:file "kan-test")
(:file "loop-spaces-test") (:file "loop-spaces-test")
(:file "lp-space-efhm-test") (:file "lp-space-efhm-test")
(:file "ls-twisted-products-test") (:file "ls-twisted-products-test")
(:file "macros-test") (:file "macros-test")
(:file "searching-homology-test") (:file "searching-homology-test")
(:file "serre-test") (:file "serre-test")
(:file "simplicial-groups-test") (:file "simplicial-groups-test")
(:file "simplicial-mrphs-test") (:file "simplicial-mrphs-test")
(:file "simplicial-sets-test") (:file "simplicial-sets-test")
(:file "smith-test") (:file "smith-test")
(:file "special-smsts-test") (:file "special-smsts-test")
(:file "suspensions-test") (:file "suspensions-test")
(:file "tensor-products-test") (:file "tensor-products-test")
(:file "various-test") (:file "various-test")
(:file "whitehead-test") (:file "whitehead-test")
)) ))

200
test/bar-test.lisp
View File

@ -1,4 +1,3 @@
(in-package :kenzo-test) (in-package :kenzo-test)
(in-suite :kenzo) (in-suite :kenzo)
@ -11,58 +10,58 @@
(test bar-cmpr (test bar-cmpr
(let ((r (cat:bar-cmpr #'cat:s-cmpr))) (let ((r (cat:bar-cmpr #'cat:s-cmpr)))
(is (equal :equal (funcall r (cat:abar) (cat:abar)))) (is (equal :equal (funcall r (cat:abar) (cat:abar))))
(is (equal :greater (funcall r (cat:abar 3 'a) (cat:abar)))) (is (equal :greater (funcall r (cat:abar 3 'a) (cat:abar))))
(is (equal :less (funcall r (cat:abar 3 'a) (cat:abar 2 'a 1 'b)))) (is (equal :less (funcall r (cat:abar 3 'a) (cat:abar 2 'a 1 'b))))
(is (equal :less (funcall r (cat:abar 3 'a) (cat:abar 3 'b)))) (is (equal :less (funcall r (cat:abar 3 'a) (cat:abar 3 'b))))
(is (equal :equal (funcall r (cat:abar 3 'a) (cat:abar 3 'a)))))) (is (equal :equal (funcall r (cat:abar 3 'a) (cat:abar 3 'a))))))
(test bar-basis-length (test bar-basis-length
(let ((basis #'(lambda (degr) (list degr)))) (let ((basis #'(lambda (degr) (list degr))))
(cat:bar-basis-length basis 2 1) (cat:bar-basis-length basis 2 1)
(cat:bar-basis-length basis 2 2) (cat:bar-basis-length basis 2 2)
(cat:bar-basis-length basis 3 1) (cat:bar-basis-length basis 3 1)
(cat:bar-basis-length basis 3 2) (cat:bar-basis-length basis 3 2)
(cat:bar-basis-length basis 4 1) (cat:bar-basis-length basis 4 1)
(cat:bar-basis-length basis 4 2) (cat:bar-basis-length basis 4 2)
(cat:bar-basis-length basis 4 3) (cat:bar-basis-length basis 4 3)
(cat:bar-basis-length basis 4 4) (cat:bar-basis-length basis 4 4)
(cat:bar-basis-length basis 8 1) (cat:bar-basis-length basis 8 1)
(cat:bar-basis-length basis 8 2) (cat:bar-basis-length basis 8 2)
(cat:bar-basis-length basis 8 3) (cat:bar-basis-length basis 8 3)
(cat:bar-basis-length basis 8 4) (cat:bar-basis-length basis 8 4)
(cat:bar-basis-length basis 8 5) (cat:bar-basis-length basis 8 5)
(cat:bar-basis-length basis 8 6) (cat:bar-basis-length basis 8 6)
(cat:bar-basis-length basis 8 11))) (cat:bar-basis-length basis 8 11)))
(test bar-basis (test bar-basis
(let* ((basis #'(lambda (degr) (list degr))) (let* ((basis #'(lambda (degr) (list degr)))
(r (cat:bar-basis basis))) (r (cat:bar-basis basis)))
(funcall r 0) (funcall r 0)
(funcall r 1) (funcall r 1)
(funcall r 2) (funcall r 2)
(dotimes (i 7) (dotimes (i 7)
(print (funcall r i))) (print (funcall r i)))
(cat:bar-basis :locally-effective))) (cat:bar-basis :locally-effective)))
(test bar-intr-vrtc-dffr (test bar-intr-vrtc-dffr
(let* ((d (cat:soft-delta-infinity)) (let* ((d (cat:soft-delta-infinity))
(r (cat:bar-intr-vrtc-dffr (cat:dffr d)))) (r (cat:bar-intr-vrtc-dffr (cat:dffr d))))
(funcall r 0 (cat:abar)) (funcall r 0 (cat:abar))
(funcall r 3 (cat:abar 3 (cat:d 7))) (funcall r 3 (cat:abar 3 (cat:d 7)))
(funcall r 5 (cat:abar 3 (cat:d 7) 2 (cat:d 3))) (funcall r 5 (cat:abar 3 (cat:d 7) 2 (cat:d 3)))
(funcall r 5 (cat:abar 2 (cat:d 3) 3 (cat:d 7))))) (funcall r 5 (cat:abar 2 (cat:d 3) 3 (cat:d 7)))))
(defun random-abar1 (length) (defun random-abar1 (length)
(let ((rslt nil)) (let ((rslt nil))
(dotimes (i length) (dotimes (i length)
(let* ((gmsm (random (cat:mask 6))) (let* ((gmsm (random (cat:mask 6)))
(dmns (1- (logcount gmsm)))) (dmns (1- (logcount gmsm))))
(when (plusp dmns) (when (plusp dmns)
(push (cat:brgn (1+ dmns) (cat:d gmsm)) rslt)))) (push (cat:brgn (1+ dmns) gmsm) rslt))))
(cat:make-abar :list rslt))) (cat:make-abar :list rslt)))
@ -84,54 +83,53 @@
(test bar-intr-hrzn-dffr (test bar-intr-hrzn-dffr
(let* ((k (cat:k-z-1)) (let* ((k (cat:k-z-1))
(r (cat:bar-intr-hrzn-dffr (cat:aprd k)))) (r (cat:bar-intr-hrzn-dffr (cat:aprd k))))
(funcall r 0 (cat:abar )) (funcall r 0 (cat:abar ))
(funcall r 3 (cat:abar 3 '(2 3))) (funcall r 3 (cat:abar 3 '(2 3)))
(funcall r 6 (cat:abar 3 '(2 3) 3 '(-2 -3))) (funcall r 6 (cat:abar 3 '(2 3) 3 '(-2 -3)))
(funcall r 9 (cat:abar 3 '(2 3) 3 '(-2 -3) 3 '(2 3))) (funcall r 9 (cat:abar 3 '(2 3) 3 '(-2 -3) 3 '(2 3)))
(funcall r 11 (cat:abar 3 '(2 3) 3 '(-2 -3) 2 '(-2) 3 '(-2 -3))))) (funcall r 11 (cat:abar 3 '(2 3) 3 '(-2 -3) 2 '(-2) 3 '(-2 -3)))))
#|
(test bar-hrzn-dffr (test bar-hrzn-dffr
(progn (progn
(cat:cat-init) (cat:cat-init)
(let ((h (cat:bar-hrzn-dffr (cat:k-z-1))) (let ((h (cat:bar-hrzn-dffr (cat:k-z-1)))
(abar)) (abar))
(dotimes (i 10) (dotimes (i 10)
(print (random-abar 10 5))) (print (random-abar 10 5)))
(setf abar (random-abar 10 5)) (setf abar (random-abar 10 5))
(cat:? h (apply #'+ (mapcar #'car (cat:abar-list abar))) abar) (cat:? h (apply #'+ (mapcar #'car (cat:abar-list abar))) abar)
(cat:? h (cat:? h (apply #'+ (mapcar #'car (cat:? h (cat:? h (apply #'+ (mapcar #'car
(cat:abar-list abar))) abar)) (cat:abar-list abar))) abar))
(dotimes (i 10) (dotimes (i 10)
(setf abar (random-abar 10 3)) (setf abar (random-abar 10 3))
(print abar) (print abar)
(print (cat:? h (apply #'+ (mapcar #'car (cat:abar-list abar))) (print (cat:? h (apply #'+ (mapcar #'car (cat:abar-list abar)))
abar)) abar))
(print (cat:? h (cat:? h (apply #'+ (mapcar #'car (print (cat:? h (cat:? h (apply #'+ (mapcar #'car
(cat:abar-list abar))) (cat:abar-list abar)))
abar))))))) abar)))))))
|#
(test bar (test bar
(progn (progn
(cat:cat-init) (cat:cat-init)
(let ((b (cat:bar (cat:k-z-1))) (let ((b (cat:bar (cat:k-z-1)))
(abar (random-abar 10 3))) (abar (random-abar 10 3)))
(cat:? b (apply #'+ (mapcar #'car (cat:abar-list abar))) abar) (cat:? b (apply #'+ (mapcar #'car (cat:abar-list abar))) abar)
(cat:? b (cat:? b (apply #'+ (mapcar #'car (cat:abar-list abar))) (cat:? b (cat:? b (apply #'+ (mapcar #'car (cat:abar-list abar)))
abar)) abar))
(dotimes (i 10) (dotimes (i 10)
(let ((abar (random-abar 10 3))) (let ((abar (random-abar 10 3)))
(print abar) (print abar)
(print (cat:? b (apply #'+ (mapcar #'car (cat:abar-list abar))) (print (cat:? b (apply #'+ (mapcar #'car (cat:abar-list abar)))
abar)) abar))
(print (cat:? b (print (cat:? b
(cat:? b (cat:? b
(apply #'+ (mapcar #'car (apply #'+ (mapcar #'car
(cat:abar-list abar))) (cat:abar-list abar)))
abar)))))))) abar))))))))
(test ncmbn-bar (test ncmbn-bar
@ -139,42 +137,42 @@
(cat:ncmbn-bar (list (cat:cmbn 3 2 'a 3 'b))) (cat:ncmbn-bar (list (cat:cmbn 3 2 'a 3 'b)))
(cat:ncmbn-bar (list (cat:cmbn 1 2 'a 3 'b) (cat:cmbn 2 4 'c 5 'd))) (cat:ncmbn-bar (list (cat:cmbn 1 2 'a 3 'b) (cat:cmbn 2 4 'c 5 'd)))
(cat:ncmbn-bar (list (cat:cmbn 1 2 'a 3 'b) (cat:cmbn 1 4 'c 5 'd) (cat:ncmbn-bar (list (cat:cmbn 1 2 'a 3 'b) (cat:cmbn 1 4 'c 5 'd)
(cat:cmbn 1 6 'e 7 'f)))) (cat:cmbn 1 6 'e 7 'f))))
(test mrph-vrtc-bar-intr (test mrph-vrtc-bar-intr
(let* ((cc (cat:build-chcm :cmpr #'cat:f-cmpr (let* ((cc (cat:build-chcm :cmpr #'cat:f-cmpr
:basis :locally-effective :basis :locally-effective
:intr-dffr #'cat:zero-mrph :intr-dffr #'cat:zero-mrph
:strt :cmbn)) :strt :cmbn))
(m (cat:build-mrph :sorc cc :trgt cc :degr 0 :intr (m (cat:build-mrph :sorc cc :trgt cc :degr 0 :intr
#'(lambda (degr gnrt) #'(lambda (degr gnrt)
(cat:cmbn degr 2 gnrt 3 (1+ gnrt))) (cat:cmbn degr 2 gnrt 3 (1+ gnrt)))
:strt :gnrt :orgn '(test))) :strt :gnrt :orgn '(test)))
(r (cat:mrph-vrtc-bar-intr m))) (r (cat:mrph-vrtc-bar-intr m)))
(funcall r 4 (cat:abar 2 3 2 4)))) (funcall r 4 (cat:abar 2 3 2 4))))
(test vrtc-bar (test vrtc-bar
(progn (progn
(cat:cat-init) (cat:cat-init)
(let* ((f (cat:aw (cat:soft-delta-infinity) (let* ((f (cat:aw (cat:soft-delta-infinity)
(cat:soft-delta-infinity))) (cat:soft-delta-infinity)))
(cf (cat:vrtc-bar f))) (cf (cat:vrtc-bar f)))
(cat:? cf 6 (cat:abar 3 (cat:crpr 0 (cat:d 7) 0 (cat:d 7)) 3 (cat:? cf 6 (cat:abar 3 (cat:crpr 0 (cat:d 7) 0 (cat:d 7)) 3
(cat:crpr 0 (cat:d 56) 0 (cat:d 56))))))) (cat:crpr 0 (cat:d 56) 0 (cat:d 56)))))))
(test hmtp-vrtc-bar-intr (test hmtp-vrtc-bar-intr
(progn (progn
(cat:cat-init) (cat:cat-init)
(let* ((ez (cat:ez (cat:delta-infinity) (cat:delta-infinity))) (let* ((ez (cat:ez (cat:delta-infinity) (cat:delta-infinity)))
(h (cat:h ez)) (h (cat:h ez))
(gf (cat:cmps (cat:g ez) (cat:f ez))) (gf (cat:cmps (cat:g ez) (cat:f ez)))
(r (cat:hmtp-vrtc-bar-intr h gf))) (r (cat:hmtp-vrtc-bar-intr h gf)))
(funcall r 3 (cat:abar 3 (cat:crpr 0 7 0 7))) (funcall r 3 (cat:abar 3 (cat:crpr 0 7 0 7)))
(funcall r 9 (cat:abar 3 (cat:crpr 0 7 0 7) 3 (cat:crpr 0 14 0 14) (funcall r 9 (cat:abar 3 (cat:crpr 0 7 0 7) 3 (cat:crpr 0 14 0 14)
3 (cat:crpr 0 14 0 14)))))) 3 (cat:crpr 0 14 0 14))))))
(test vrtc-bar1 (test vrtc-bar1