Changeset 729
- Timestamp:
- 2015-06-08T20:38:08-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/monomial.lisp
r728 r729 110 110 (monom-total-degree (monom-exponents m) start end)) 111 111 112 (defun monom-div (m1 m2 &aux (result (copy-s eq (monom-exponents m1))))112 (defun monom-div (m1 m2 &aux (result (copy-structure m1))) 113 113 "Divide monomial M1 by monomial M2." 114 114 (declare (type monom m1 m2)) 115 (map-into result #'- m1 m2)116 (make-monom (monom-dimension result)))115 (map-into (monom-exponents result) #'- (monom-exponents m1) (monom-exponents m2)) 116 result) 117 117 118 (defun monom-mul (m1 m2 &aux (result (copy-s eqm1)))118 (defun monom-mul (m1 m2 &aux (result (copy-structure m1))) 119 119 "Multiply monomial M1 by monomial M2." 120 120 (declare (type monom m1 m2 result)) 121 (map-into result #'+ m1 m2)) 121 (map-into (monom-exponents result) #'+ (monom-exponents m1) (monom-exponents m2)) 122 result) 122 123 123 124 (defun monom-divides-p (m1 m2)
Note:
See TracChangeset
for help on using the changeset viewer.