close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Ignore:
Timestamp:
2015-06-11T22:12:59-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/gb-postprocessing.lisp

    r1335 r1341  
    6767      ((not found) q)
    6868    ;;Find p in Q such that lm(p) is in LM(Q\{p})
    69     (setf found nil
    70           q (dolist (x q q)
    71               (let ((q1 (remove x q)))
    72                 (when (member-if #'(lambda (p) (monom-divides-p (poly-lm x) (poly-lm p))) q1)
    73                   (setf found t)
    74                   (return q1)))))))
     69    (setf found nil)
     70    (let ((x (find-if #'(lambda (x) (member-if #'(lambda (p) (monom-divides-p (poly-lm x) (poly-lm p))))) q)))
     71      (when x
     72        (setf found t
     73              q q1)))))
Note: See TracChangeset for help on using the changeset viewer.