Changeset 3020

Timestamp:

2015-06-21T16:22:06-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/monom.lisp (modified) (1 diff)

branches/f4grobner/monom.lisp

@@ -253 +253 @@
     (plusp (elt exponents k))))
 
-(defmethod r-tensor-product ((m1 monom) (m2 monom))
-  (with-slots ((exponents1 exponents) (dimension1 dimension))
-      m1
+(defmethod left-tensor-product-by ((self monom) (other monom))
+  (with-slots ((exponents1 exponents) (dimension1 dimension))
+      self
     (with-slots ((exponents2 exponents) (dimension2 dimension))
-        m2
-      (make-instance 'monom 
-                     :dimension (+ dimension1 dimension2)
-                     :exponents (concatenate 'vector exponents1 exponents2)))))
+        other
+      (setf dimension1 (+ dimension1 dimension2)
+            exponents1 (concatenate 'vector exponents2 exponents1)))))
+
+(defmethod right-tensor-product-by ((self monom) (other monom))
+  (with-slots ((exponents1 exponents) (dimension1 dimension))
+      self
+    (with-slots ((exponents2 exponents) (dimension2 dimension))
+        other
+      (setf dimension1 (+ dimension1 dimension2)
+            exponents1 (concatenate 'vector exponents1 exponents2)))))
 
 (defmethod r-contract ((m monom) k)