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 869


Ignore:
Timestamp:
2015-06-09T11:47:42-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/monomial.lisp

    r868 r869  
    138138(defun monom-divides-p (m1 m2)
    139139  "Returns T if monomial M1 divides monomial M2, NIL otherwise."
    140   (declare (type monom m1 m2))
    141140  (every #'<= (monom-exponents m1) (monom-exponents m2)))
    142141
    143142(defun monom-divides-monom-lcm-p (m1 m2 m3)
    144143  "Returns T if monomial M1 divides MONOM-LCM(M2,M3), NIL otherwise."
    145   (declare (type monom m1 m2 m3))
    146144  (every #'(lambda (x y z) (declare (type exponent x y z)) (<= x (max y z)))
    147          (monom-exponents m1)
    148          (monom-exponents m2)
    149          (monom-exponents m3)))
     145         m1 m2 m3))
    150146
    151147(defun monom-lcm-divides-monom-lcm-p (m1 m2 m3 m4)
    152148  "Returns T if monomial MONOM-LCM(M1,M2) divides MONOM-LCM(M3,M4), NIL otherwise."
    153149  (declare (type monom m1 m2 m3 m4))
    154   (every #'(lambda (x y z w) (declare (type exponent x y z w)) (<= (max x y) (max z w)))
    155          (monom-exponents m1)
    156          (monom-exponents m2)
    157          (monom-exponents m3)
    158          (monom-exponents m4)))
     150  (every #'(lambda (x y z w) (<= (max x y) (max z w)))
     151         m1 m2 m3 m4))
     152         
    159153
    160154(defun monom-lcm-equal-monom-lcm-p (m1 m2 m3 m4)
    161155  "Returns T if monomial MONOM-LCM(M1,M2) equals MONOM-LCM(M3,M4), NIL otherwise."
    162   (declare (type monom m1 m2 m3 m4))
    163   (every #'(lambda (x y z w) (declare (type exponent x y z w)) (= (max x y) (max z w)))
    164          (monom-exponents m1)
    165          (monom-exponents m2)
    166          (monom-exponents m3)
    167          (monom-exponents m4)))
     156  (every #'(lambda (x y z w) (= (max x y) (max z w)))
     157         m1 m2 m3 m4))
     158
    168159
    169160(defun monom-divisible-by-p (m1 m2)
    170161  "Returns T if monomial M1 is divisible by monomial M2, NIL otherwise."
    171   (declare (type monom m1 m2))
    172    (every #'>= (monom-exponents m1) (monom-exponents m2)))
     162  (every #'>= m1 m2))
    173163
    174164(defun monom-rel-prime-p (m1 m2)
Note: See TracChangeset for help on using the changeset viewer.