- Timestamp:
- 2015-06-17T18:43:05-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monom.lisp
r2039 r2049 75 75 76 76 (defclass monom () 77 ((dim :initarg :dim )77 ((dim :initarg :dim ) 78 78 (exponents :initarg :exponents)) 79 79 (:default-initargs :dim 0 :exponents nil)) … … 176 176 (every #'<= exponents1 exponents2)))) 177 177 178 #| 179 178 180 (defun monom-divides-monom-lcm-p (m1 m2 m3) 179 181 "Returns T if monomial M1 divides MONOM-LCM(M2,M3), NIL otherwise." … … 181 183 (every #'(lambda (x y z) (<= x (max y z))) 182 184 m1 m2 m3)) 185 186 183 187 184 188 (defun monom-lcm-divides-monom-lcm-p (m1 m2 m3 m4)
Note:
See TracChangeset
for help on using the changeset viewer.