Changeset 3570 for branches/f4grobner/monom.lisp

Timestamp:

2015-09-05T16:54:03-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -307 +307 @@
       (plusp (elt exponents k)))))
 
-(defmethod monom-left-tensor-product-by ((self monom) (other monom))
-  (with-slots ((exponents1 exponents))
-      self
-    (with-slots ((exponents2 exponents))
-        other
-      (setf exponents1 (concatenate 'vector exponents2 exponents1))))
-  self)
-
-(defmethod monom-right-tensor-product-by ((self monom) (other monom))
-  (with-slots ((exponents1 exponents))
-      self
-    (with-slots ((exponents2 exponents))
-        other
-      (setf exponents1 (concatenate 'vector exponents1 exponents2))))
-  self)
+(defgeneric left-tensor-product-by (self other)
+  (:documentation "Returns a tensor product SELF by OTHER, stored into
+  SELF. Return SELF.")
+  (:method ((self monom) (other monom))
+    (with-slots ((exponents1 exponents))
+        self
+      (with-slots ((exponents2 exponents))
+          other
+        (setf exponents1 (concatenate 'vector exponents2 exponents1))))
+    self))
+
+(defgeneric right-tensor-product-by (self other)
+  (:documentation "Returns a tensor product of OTHER by SELF, stored
+  into SELF. Returns SELF.")
+  (:method ((self monom) (other monom))
+    (with-slots ((exponents1 exponents))
+        self
+      (with-slots ((exponents2 exponents))
+          other
+        (setf exponents1 (concatenate 'vector exponents1 exponents2))))
+    self))
 
 (defmethod monom-left-contract ((self monom) k)