close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 3570 for branches


Ignore:
Timestamp:
2015-09-05T16:54:03-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/monom.lisp

    r3569 r3570  
    307307      (plusp (elt exponents k)))))
    308308
    309 (defmethod monom-left-tensor-product-by ((self monom) (other monom))
    310   (with-slots ((exponents1 exponents))
    311       self
    312     (with-slots ((exponents2 exponents))
    313         other
    314       (setf exponents1 (concatenate 'vector exponents2 exponents1))))
    315   self)
    316 
    317 (defmethod monom-right-tensor-product-by ((self monom) (other monom))
    318   (with-slots ((exponents1 exponents))
    319       self
    320     (with-slots ((exponents2 exponents))
    321         other
    322       (setf exponents1 (concatenate 'vector exponents1 exponents2))))
    323   self)
     309(defgeneric left-tensor-product-by (self other)
     310  (:documentation "Returns a tensor product SELF by OTHER, stored into
     311  SELF. Return SELF.")
     312  (:method ((self monom) (other monom))
     313    (with-slots ((exponents1 exponents))
     314        self
     315      (with-slots ((exponents2 exponents))
     316          other
     317        (setf exponents1 (concatenate 'vector exponents2 exponents1))))
     318    self))
     319
     320(defgeneric right-tensor-product-by (self other)
     321  (:documentation "Returns a tensor product of OTHER by SELF, stored
     322  into SELF. Returns SELF.")
     323  (:method ((self monom) (other monom))
     324    (with-slots ((exponents1 exponents))
     325        self
     326      (with-slots ((exponents2 exponents))
     327          other
     328        (setf exponents1 (concatenate 'vector exponents1 exponents2))))
     329    self))
    324330
    325331(defmethod monom-left-contract ((self monom) k)
Note: See TracChangeset for help on using the changeset viewer.