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

Removed last loop as per Francis' comment.

Browse Source
This commit is contained in:
Gerd Heber 2015-11-26 21:27:08 -06:00
parent c5c67b83fe
commit c42b17899f
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
test/cl-space-efhm-test.lisp
View File

@ -313,7 +313,7 @@
(setf cat:*bc* (cat:cmbn abar-degr 1 abar))
(check-rdct))))))
#|
(test cs-left-hmeq-right-reduction
(cat:cat-init)
(let ((rdct (cat:cs-left-hmeq-right-reduction (cat:k-z-1)))
@ -349,18 +349,8 @@
(unless (>= abar-degr 9)
(setf cat:*tc* (cat:cmbn (+ 5 abar-degr) 1 gnrt))
(setf cat:*bc* (cat:cmbn abar-degr 1 abar))
(check-rdct))))
(dotimes (i 10)
(let ((abar (random-abar 6 4)))
(setf abar-degr (apply #'+ (mapcar #'car (cat:abar-list abar))))
(setf gnrt (cat:tnpr 4 (cat:tnpr 2 (cat:gbar 2 0 '(3) 0 '())
2 '(4 5))
abar-degr abar))
(unless (>= abar-degr 10)
(setf cat:*tc* (cat:cmbn (+ 4 abar-degr) 1 gnrt))
(setf cat:*bc* (cat:cmbn abar-degr 1 abar))
(check-rdct))))))
|#
(test cs-left-hmeq
(cat:cat-init)