Changeset 1341 for branches/f4grobner
- Timestamp:
- 2015-06-11T22:12:59-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/gb-postprocessing.lisp
r1335 r1341 67 67 ((not found) q) 68 68 ;;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.