Changeset 3639

Timestamp:

2015-09-05T20:40:52-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -154 +154 @@
 (defmethod universal-zerop ((self poly))
   "Return T iff SELF is a zero polynomial."
-  (null (poly-termlist self))))
+  (null (poly-termlist self)))
 
 (defgeneric poly-length (self)
@@ -234 +234 @@
 (eval-when (:compile-toplevel :load-toplevel :execute)
 
-  (def-add/subtract-method poly-add-to nil
+  (def-add/subtract-method add-to nil
     "Adds to polynomial SELF another polynomial OTHER.
 This operation destructively modifies both polynomials.
@@ -240 +240 @@
 no consing, entirely reusing the sells of SELF and OTHER.")
 
-  (def-add/subtract-method poly-subtract-from unary-minus
+  (def-add/subtract-method subtract-from unary-minus
     "Subtracts from polynomial SELF another polynomial OTHER.
 This operation destructively modifies both polynomials.
@@ -255 +255 @@
 (defun add-termlists (p q order-fn)
   "Destructively adds two termlists P and Q ordered according to ORDER-FN."
-  (fast-add/subtract p q order-fn #'poly-add-to nil))
+  (fast-add/subtract p q order-fn #'add-to nil))
 
 (defmacro multiply-term-by-termlist-dropping-zeros (term termlist