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 2076


Ignore:
Timestamp:
2015-06-17T19:24:20-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/monom.lisp

    r2075 r2076  
    194194         m1 m2 m3 m4))
    195195         
    196 (defun lcm-equal-lcm-p (m1 m2 m3 m4)
     196(defmethod lcm-equal-lcm-p (m1 m2 m3 m4)
    197197  "Returns T if monomial LCM(M1,M2) equals LCM(M3,M4), NIL otherwise."
    198   (declare (type monom m1 m2 m3 m4))
    199   (every #'(lambda (x y z w) (= (max x y) (max z w)))
    200          m1 m2 m3 m4))
     198  (with-slots (exponents1 exponents)
     199      m1
     200    (with-slots (exponents2 exponents)
     201        m2
     202      (with-slots (exponents3 exponents)
     203          m3
     204        (with-slots (exponents4 exponents)
     205            m4
     206          (every #'(lambda (x y z w) (= (max x y) (max z w)))
     207                 exponents1 exponents2 exponents3 exponents4))))))
    201208
    202209#|
    203 
    204 
    205 
    206 (defun monom-divisible-by-p (m1 m2)
     210(defmethod divisible-by-p ((m1 monom) (m2 monom))
    207211  "Returns T if monomial M1 is divisible by monomial M2, NIL otherwise."
    208   (declare (type monom m1 m2))
    209212  (every #'>= m1 m2))
    210213
    211 (defun monom-rel-prime-p (m1 m2)
     214(defmethod rel-prime-p ((m1 monom) (m2 monom))
    212215  "Returns T if two monomials M1 and M2 are relatively prime (disjoint)."
    213   (declare (type monom m1 m2))
    214216  (every #'(lambda (x y) (zerop (min x y))) m1 m2))
     217
     218#|
     219
     220
    215221
    216222(defun monom-equal-p (m1 m2)
Note: See TracChangeset for help on using the changeset viewer.