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 3588 for branches/f4grobner


Ignore:
Timestamp:
2015-09-05T17:10:31-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/monom.lisp

    r3587 r3588  
    235235           exponents1 exponents2 exponents3)))
    236236
    237 (defgeneric lcm-divides-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
    238   "Returns T if monomial LCM(M1,M2) divides LCM(M3,M4), NIL otherwise."
    239   (with-slots ((exponents1 exponents))
    240       m1
    241     (with-slots ((exponents2 exponents))
    242         m2
    243       (with-slots ((exponents3 exponents))
    244           m3
    245         (with-slots ((exponents4 exponents))
    246             m4
    247           (every #'(lambda (x y z w) (<= (max x y) (max z w)))
    248            exponents1 exponents2 exponents3 exponents4))))))
     237(defgeneric lcm-divides-lcm-p (object1 object2 object3 object4)
     238  (:method ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
     239    "Returns T if monomial LCM(M1,M2) divides LCM(M3,M4), NIL otherwise."
     240    (with-slots ((exponents1 exponents))
     241        m1
     242      (with-slots ((exponents2 exponents))
     243          m2
     244        (with-slots ((exponents3 exponents))
     245            m3
     246          (with-slots ((exponents4 exponents))
     247              m4
     248            (every #'(lambda (x y z w) (<= (max x y) (max z w)))
     249                   exponents1 exponents2 exponents3 exponents4))))))
    249250         
    250251(defmethod monom-lcm-equal-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
Note: See TracChangeset for help on using the changeset viewer.