Changeset 2069
- Timestamp:
- 2015-06-17T19:12:20-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r2064 r2069 140 140 (reduce #'+ exponents :start start :end end))) 141 141 142 #|143 142 144 143 (defmethod sugar ((m monom) &aux (start 0) (end (dimension m))) … … 161 160 (make-instance 'monom :dim dim :exponents exponents))))) 162 161 162 163 163 164 (defmethod ring-div ((m1 monom) (m2 monom)) 164 165 "Divide monomial M1 by monomial M2." … … 172 173 (make-instance 'monom :dim dim :exponents exponents))))) 173 174 174 #|175 175 (defmethod divides-p ((m1 monom) (m2 monom)) 176 176 "Returns T if monomial M1 divides monomial M2, NIL otherwise." … … 181 181 (every #'<= exponents1 exponents2)))) 182 182 183 184 185 183 (defmethod divides-lcm-p ((m1 monom) (m2 monom) (m3 monom)) 186 184 "Returns T if monomial M1 divides LCM(M2,M3), NIL otherwise." … … 189 187 190 188 191 192 193 (defun monom-lcm-divides-monom-lcm-p (m1 m2 m3 m4) 189 (defmethod lcm-divides-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom)) 194 190 "Returns T if monomial MONOM-LCM(M1,M2) divides MONOM-LCM(M3,M4), NIL otherwise." 195 191 (declare (type monom m1 m2 m3 m4))
Note:
See TracChangeset
for help on using the changeset viewer.