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 4124 for branches


Ignore:
Timestamp:
2016-06-01T14:18:19-07:00 (8 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/criterion.lisp

    r4123 r4124  
    4040in G pointed to by the integers in PAIR have disjoint (relatively prime)
    4141monomials. This test is known as the first Buchberger criterion."
    42   (declare (type pair pair))
    43   (let ((f (pair-first pair))
    44         (g (pair-second pair)))
     42  (declare (type critical-pair pair))
     43  (let ((f (critical-pair-first pair))
     44        (g (critical-pair-second pair)))
    4545    (when (rel-prime-p (leading-monomial f) (leading-monomial g))
    4646      (debug-cgb ":1")
     
    4848
    4949(defun criterion-2 (pair b-done partial-basis
    50                     &aux (f (pair-first pair)) (g (pair-second pair))
     50                    &aux (f (critical-pair-first pair)) (g (critical-pair-second pair))
    5151                         (place :before))
    5252  "Returns T if the leading monomial of some element P of
     
    5555each of the polynomials pointed to by the the PAIR has already been
    5656treated, as indicated by the absence in the hash table B-done."
    57   (declare (type pair pair) (type hash-table b-done)
     57  (declare (type critical-pair pair) (type hash-table b-done)
    5858           (type poly f g))
    5959  ;; In the code below we assume that pairs are ordered as follows:
     
    7171      #+grobner-check(assert (eq place :in-the-middle))
    7272      (setf place :after))
    73      ((and (monom-divides-monom-lcm-p (leading-monomial h) (leading-monomial f) (leading-monomial g))
     73     ((and (divides-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.