Changeset 2038 for branches/f4grobner/monom.lisp

Timestamp:

2015-06-17T18:10:22-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/monom.lisp (modified) (2 diffs)

branches/f4grobner/monom.lisp

@@ -146 +146 @@
   (monom-total-degree m start end))
 
+(defmethod ring-mul ((m1 monom) (m2 monom))  &aux (result (copy-seq m1)))
+"Multiply monomial M1 by monomial M2."
+  (with-slots ((exponents1 exponents))
+      m1
+    (with-slots ((exponents2 exponents))
+        m2
+      (let* ((exponents (copy-seq exponents1))
+             (dim (reduce #'+ exponents)))
+        (map-into exponents #'+ exponents1 exponents2)
+        (make-instance 'monom :dim dim :exponents exponents)))))
+
 (defmethod ring-div ((m1 monom) (m2 monom))
   "Divide monomial M1 by monomial M2."
@@ -157 +168 @@
         (make-instance 'monom :dim dim :exponents exponents)))))
 
-#|
-(defun monom-mul (m1 m2  &aux (result (copy-seq m1)))
-  "Multiply monomial M1 by monomial M2."
-  (declare (type monom m1 m2 result))
-  (map-into result #'+ m1 m2))
+
 
 (defun monom-divides-p (m1 m2)