Changeset 1356 for branches/f4grobner

Timestamp:

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

@@ -66 +66 @@
        (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}