Changeset 3518

Timestamp:

2015-09-05T11:56:48-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -155 +155 @@
 
 ;; Testing for a zero polynomial
-(defmethod r-zerop ((self poly))
-  (null (poly-termlist self)))
+(defgeneric poly-zerop (self)
+  (:method ((self poly))
+    (null (poly-termlist self))))
 
 ;; The number of terms
-(defmethod r-length ((self poly))
-  (length (poly-termlist self)))
-
-(defmethod multiply-by ((self poly) (other monom))
-  (mapc #'(lambda (term) (multiply-by term other))
-        (poly-termlist self))
-  self)
-
-(defmethod multiply-by ((self poly) other)
-  (mapc #'(lambda (term) (multiply-by term other))
-        (poly-termlist self))
-  self)
+(defgeneric poly-length (self)
+  (:method ((self poly))
+    (length (poly-termlist self))))
+
+(defgeneric poly-multiply-by (self other) 
+  (:method ((self poly) (other monom))
+    (mapc #'(lambda (term) (monom-multiply-by term other))
+          (poly-termlist self))
+    self))
 
 (defmacro fast-add/subtract (p q order-fn add/subtract-fn uminus-fn)