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


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/monom.lisp

    r3588 r3589  
    249249                   exponents1 exponents2 exponents3 exponents4))))))
    250250         
    251 (defmethod monom-lcm-equal-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
    252   "Returns T if monomial LCM(M1,M2) equals LCM(M3,M4), NIL otherwise."
    253   (with-slots ((exponents1 exponents))
    254       m1
    255     (with-slots ((exponents2 exponents))
    256         m2
    257       (with-slots ((exponents3 exponents))
    258           m3
    259         (with-slots ((exponents4 exponents))
    260             m4
    261           (every
    262            #'(lambda (x y z w) (= (max x y) (max z w)))
    263            exponents1 exponents2 exponents3 exponents4))))))
     251(defgeneric monom-lcm-equal-lcm-p (object1 object2 object3 object4)
     252  (:method ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
     253    "Returns T if monomial LCM(M1,M2) equals LCM(M3,M4), NIL otherwise."
     254    (with-slots ((exponents1 exponents))
     255        m1
     256      (with-slots ((exponents2 exponents))
     257          m2
     258        (with-slots ((exponents3 exponents))
     259            m3
     260          (with-slots ((exponents4 exponents))
     261              m4
     262            (every
     263             #'(lambda (x y z w) (= (max x y) (max z w)))
     264             exponents1 exponents2 exponents3 exponents4)))))))
    264265
    265266(defgeneric divisible-by-p (object1 object2)
Note: See TracChangeset for help on using the changeset viewer.