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.

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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/monom.lisp

    r3568 r3569  
    298298          (make-instance 'monom :exponents exponents))))))
    299299
    300 (defmethod monom-depends-p ((m monom) k)
    301   "Return T if the monomial M depends on variable number K."
    302   (declare (type fixnum k))
    303   (with-slots (exponents)
    304       m
    305     (plusp (elt exponents k))))
     300(defgeneric depends-p (object k)
     301  (:documentation "Returns T iff object OBJECT depends on variable K.")
     302  (:method ((m monom) k)
     303    "Return T if the monomial M depends on variable number K."
     304    (declare (type fixnum k))
     305    (with-slots (exponents)
     306        m
     307      (plusp (elt exponents k)))))
    306308
    307309(defmethod monom-left-tensor-product-by ((self monom) (other monom))
Note: See TracChangeset for help on using the changeset viewer.