From c42b17899f8c4c0699508cd13362641b3d099656 Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Thu, 26 Nov 2015 21:27:08 -0600 Subject: [PATCH] Removed last loop as per Francis' comment. --- test/cl-space-efhm-test.lisp | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/test/cl-space-efhm-test.lisp b/test/cl-space-efhm-test.lisp index 4272156..015f6e1 100644 --- a/test/cl-space-efhm-test.lisp +++ b/test/cl-space-efhm-test.lisp @@ -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)