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

VRTC-BAR appears to be fixed by the +MAXIMAL-DIMENSION+ bump.

Browse Source
This commit is contained in:
Gerd Heber 2015-07-10 21:11:14 -05:00
parent edefe1d661
commit 2f7b5d9128
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/bar-test.lisp
View File

@ -160,6 +160,7 @@
(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)))))))
(test hmtp-vrtc-bar-intr
(progn
(cat:cat-init)
@ -197,7 +198,7 @@
(aleat-bc)
(check-rdct))
#|
(test vrtc-bar
(progn
(cat:cat-init)
@ -249,8 +250,9 @@
(cat:pre-check-rdct bar)
(aleat-tc)
(aleat-bc)
(loop (c))))) ;; degrees >= 15 is possible => error.
|#
;;(loop (c))
(dotimes (i 10) (c))))) ;; degrees >= 15 is possible => error.
(test homology
(progn