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.

Changeset 1342


Ignore:
Timestamp:
2015-06-11T22:13:25-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/gb-postprocessing.lisp

    r1341 r1342  
    6868    ;;Find p in Q such that lm(p) is in LM(Q\{p})
    6969    (setf found nil)
    70     (let ((x (find-if #'(lambda (x) (member-if #'(lambda (p) (monom-divides-p (poly-lm x) (poly-lm p))))) q)))
     70    (let ((x (find-if
     71              #'(lambda (x)
     72                  (member-if #'(lambda (p)
     73                                 (monom-divides-p
     74                                  (poly-lm x)
     75                                  (poly-lm p)))))
     76              q)))
    7177      (when x
    7278        (setf found t
Note: See TracChangeset for help on using the changeset viewer.