Changeset 1358

Timestamp:

2015-06-11T22:29:19-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

@@ -59 +59 @@
             (return)))))))
 
-(defun minimization (p)
+(defun minimization (plist)
   "Returns a sublist of the polynomial list P spanning the same
 monomial ideal as P but minimal, i.e. no leading monomial
 of a polynomial in the sublist divides the leading monomial
 of another polynomial."
-  (do ((q p)
+  (do ((q plist)
        (found t))
       ((not found) q)
-    (declare (type poly q))
     ;;1) Find p in Q such that lm(p) is in LM(Q\{p})
     ;;2) Set Q <- Q\{p}