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 2171


Ignore:
Timestamp:
2015-06-17T22:13:13-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/monom.lisp

    r2170 r2171  
    175175(defmethod r-lcm-equal-lcm-p (m1 m2 m3 m4)
    176176  "Returns T if monomial LCM(M1,M2) equals LCM(M3,M4), NIL otherwise."
    177   (with-slots (exponents1 exponents)
    178       m1
    179     (with-slots (exponents2 exponents)
    180         m2
    181       (with-slots (exponents3 exponents)
     177  (with-slots ((exponents1 exponents))
     178      m1
     179    (with-slots ((exponents2 exponents))
     180        m2
     181      (with-slots ((exponents3 exponents))
    182182          m3
    183         (with-slots (exponents4 exponents)
     183        (with-slots ((exponents4 exponents))
    184184            m4
    185185          (every
     
    189189(defmethod r-divisible-by-p ((m1 monom) (m2 monom))
    190190  "Returns T if monomial M1 is divisible by monomial M2, NIL otherwise."
    191   (with-slots (exponents1 exponents)
    192       m1
    193     (with-slots (exponents2 exponents)
     191  (with-slots ((exponents1 exponents))
     192      m1
     193    (with-slots ((exponents2 exponents))
    194194        m2
    195195      (every #'>= exponents1 exponents2))))
     
    197197(defmethod r-rel-prime-p ((m1 monom) (m2 monom))
    198198  "Returns T if two monomials M1 and M2 are relatively prime (disjoint)."
    199   (with-slots (exponents1 exponents)
    200       m1
    201     (with-slots (exponents2 exponents)
     199  (with-slots ((exponents1 exponents))
     200      m1
     201    (with-slots ((exponents2 exponents))
    202202        m2
    203203      (every #'(lambda (x y) (zerop (min x y))) exponents1 exponents2))))
     
    206206(defmethod r-equalp ((m1 monom) (m2 monom))
    207207  "Returns T if two monomials M1 and M2 are equal."
    208   (with-slots (exponents1 exponents)
    209       m1
    210     (with-slots (exponents2 exponents)
     208  (with-slots ((exponents1 exponents))
     209      m1
     210    (with-slots ((exponents2 exponents))
    211211        m2
    212212      (every #'= exponents1 exponents2))))
     
    214214(defmethod r-lcm ((m1 monom) (m2 monom))
    215215  "Returns least common multiple of monomials M1 and M2."
    216   (with-slots (exponents1 exponents)
    217       m1
    218     (with-slots (exponents2 exponents)
     216  (with-slots ((exponents1 exponents))
     217      m1
     218    (with-slots ((exponents2 exponents))
    219219        m2
    220220      (let* ((exponents (copy-seq exponents1))
     
    226226(defmethod r-gcd ((m1 monom) (m2 monom))
    227227  "Returns greatest common divisor of monomials M1 and M2."
    228   (with-slots (exponents1 exponents)
    229       m1
    230     (with-slots (exponents2 exponents)
     228  (with-slots ((exponents1 exponents))
     229      m1
     230    (with-slots ((exponents2 exponents))
    231231        m2
    232232      (let* ((exponents (copy-seq exponents1))
     
    245245                             &aux (dim (+ (r-dimension m1) (r-dimension m2))))
    246246  (declare (fixnum dim))
    247   (with-slots (exponents1 exponents)
    248       m1
    249     (with-slots (exponents2 exponents)
     247  (with-slots ((exponents1 exponents))
     248      m1
     249    (with-slots ((exponents2 exponents))
    250250        m2
    251251      (make-instance 'monom
Note: See TracChangeset for help on using the changeset viewer.