Changeset 3630 for branches/f4grobner/polynomial.lisp

Timestamp:

2015-09-05T20:24:38-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

• branches/f4grobner/polynomial.lisp (modified) (3 diffs)

branches/f4grobner/polynomial.lisp

@@ -135 +135 @@
   (:documentation "The leading term of a polynomial, or NIL for zero polynomial."))
 
-;; Second term
 (defgeneric second-leading-term (object) 
   (:method ((self poly))
@@ -141 +140 @@
   (:documentation "The second leading term of a polynomial, or NIL for a polynomial with at most one term."))
 
-;; Leading coefficient
 (defgeneric leading-coefficient (object)
   (:method ((self poly))
@@ -158 +156 @@
   (null (poly-termlist self))))
 
-;; The number of terms
 (defgeneric poly-length (self)
+  (:documentation "Return the number of terms.")
   (:method ((self poly))
     (length (poly-termlist self))))
 
-(defgeneric poly-multiply-by (self other) 
-  (:documentation "Multiply a polynomial SELF by OTHER.")
-  (:method ((self poly) (other monom))
-    "Multiply a polynomial SELF by monomial OTHER"
-    (mapc #'(lambda (term) (cons (monom-multiply-by (car term) other) (cdr other)))
-          (poly-termlist self))
-    self))
+(defmethod multiply-by ((self poly) (other monom))
+  "Multiply a polynomial SELF by OTHER."
+  (mapc #'(lambda (term) (multiply-by term other))
+        (poly-termlist self))
+  self)
 
 (defmacro fast-add/subtract (p q order-fn add/subtract-fn uminus-fn)