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 4123


Ignore:
Timestamp:
2016-06-01T14:16:25-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/criterion.lisp

    r1968 r4123  
    4343  (let ((f (pair-first pair))
    4444        (g (pair-second pair)))
    45     (when (monom-rel-prime-p (poly-lm f) (poly-lm g))
     45    (when (rel-prime-p (leading-monomial f) (leading-monomial g))
    4646      (debug-cgb ":1")
    4747      (return-from criterion-1 t))))
    … …  
    7171      #+grobner-check(assert (eq place :in-the-middle))
    7272      (setf place :after))
    73      ((and (monom-divides-monom-lcm-p (poly-lm h) (poly-lm f) (poly-lm g))
     73     ((and (monom-divides-monom-lcm-p (leading-monomial h) (leading-monomial f) (leading-monomial g))
    7474           (gethash (case place
    7575                      (:before (list h f))
Note: See TracChangeset for help on using the changeset viewer.