Changeset 1540

Timestamp:

2015-06-12T14:53:56-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/gb-postprocessing.lisp (modified) (1 diff)

branches/f4grobner/gb-postprocessing.lisp

@@ -47 +47 @@
     ;;Find p in Q such that p is reducible mod Q\{p}
     (setf found nil)
-    (dolist (x q)
-      (let ((q1 (remove x q)))
-        (multiple-value-bind (h c div-count)
-            (normal-form ring-and-order x q1 nil #| not a top reduction! |# )
-          (declare (ignore c))
-          (unless (zerop div-count)
-            (setf found t q q1)
-            (unless (poly-zerop h)
-              (setf q (nconc q1 (list h))))
-            (return)))))))
+    (let ((x (find-if
+              #'(lambda (y)
+                  (multiple-value-bind (h c div-count)
+                      (normal-form ring-and-order 
+                                   y 
+                                   (remove y q)
+                                   nil #| not a top reduction! |# 
+                                   )
+                    (declare (ignore c))
+                    (plusp (zerop div-count)))))))
+      (when x
+        (setf found t
+              q (delete x q))))))
 
 (defun minimization (plist)