Changeset 3323

Timestamp:

2015-06-23T10:16:12-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/monom.lisp

@@ -254 +254 @@
 
 (defmethod left-tensor-product-by ((self monom) (other monom))
-  (with-slots ((exponents1 exponents) (dimension1 dimension))
-      self
-    (with-slots ((exponents2 exponents) (dimension2 dimension))
+  (with-slots ((exponents1 exponents))
+      self
+    (with-slots ((exponents2 exponents))
         other
-      (setf dimension1 (+ dimension1 dimension2)
-            exponents1 (concatenate 'vector exponents2 exponents1))))
+      (setf exponents1 (concatenate 'vector exponents2 exponents1))))
   self)
 
 (defmethod right-tensor-product-by ((self monom) (other monom))
-  (with-slots ((exponents1 exponents) (dimension1 dimension))
-      self
-    (with-slots ((exponents2 exponents) (dimension2 dimension))
+  (with-slots ((exponents1 exponents))
+      self
+    (with-slots ((exponents2 exponents))
         other
-      (setf dimension1 (+ dimension1 dimension2)
-            exponents1 (concatenate 'vector exponents1 exponents2))))
+      (setf exponents1 (concatenate 'vector exponents1 exponents2))))
   self)
 
@@ -274 +272 @@
   "Drop the first K variables in monomial M."
   (declare (fixnum k))
-  (with-slots (dimension exponents) 
-      self
-    (setf dimension (- dimension k)
-          exponents (subseq exponents k)))
+  (with-slots (exponents) 
+      self
+    (setf exponents (subseq exponents k)))
   self)