Changeset 2146
- Timestamp:
- 2015-06-17T21:30:29-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r2144 r2146 199 199 (every #'>= exponents1 exponents2)))) 200 200 201 (defmethod r el-prime-p ((m1 monom) (m2 monom))201 (defmethod r-rel-prime-p ((m1 monom) (m2 monom)) 202 202 "Returns T if two monomials M1 and M2 are relatively prime (disjoint)." 203 203 (with-slots (exponents1 exponents) … … 208 208 209 209 210 (defmethod equal-p ((m1 monom) (m2 monom))210 (defmethod r-equal-p ((m1 monom) (m2 monom)) 211 211 "Returns T if two monomials M1 and M2 are equal." 212 212 (with-slots (exponents1 exponents) … … 216 216 (every #'= exponents1 exponents2)))) 217 217 218 (defmethod lcm ((m1 monom) (m2 monom))218 (defmethod r-lcm ((m1 monom) (m2 monom)) 219 219 "Returns least common multiple of monomials M1 and M2." 220 220 (with-slots (exponents1 exponents) … … 228 228 229 229 230 (defmethod gcd ((m1 monom) (m2 monom))230 (defmethod r-gcd ((m1 monom) (m2 monom)) 231 231 "Returns greatest common divisor of monomials M1 and M2." 232 232 (with-slots (exponents1 exponents) … … 239 239 (make-instance 'monom :dim dim :exponents exponents))))) 240 240 241 (defmethod depends-p ((m monom) k)241 (defmethod r-depends-p ((m monom) k) 242 242 "Return T if the monomial M depends on variable number K." 243 243 (declare (type fixnum k)) … … 246 246 (plusp (cl:elt exponents k)))) 247 247 248 (defmethod r ing-tensor-mul((m1 monom) (m2 monom)249 &aux (dim (cl:+ (dimension m1) (dimension m2))))248 (defmethod r-tensor-product ((m1 monom) (m2 monom) 249 &aux (dim (cl:+ (dimension m1) (dimension m2)))) 250 250 (declare (fixnum dim)) 251 251 (with-slots (exponents1 exponents)
Note:
See TracChangeset
for help on using the changeset viewer.