Changeset 3622

Timestamp:

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

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -86 +86 @@
 
 (defgeneric poly-insert-term (self term)
-  (:documentation "Insert a term into SELF before all other
+  (:documentation "Insert a term TERM into SELF before all other
   terms. Order is not enforced.")
   (:method ((self poly) (term term))
@@ -95 +95 @@
     self))
 
-(defgeneric poly-append-term (self monom coeff)
-  (:documentation "Append a term with monomial MONOM and coefficient COEFF
-after all other terms. Order is not enforced.")
-  (:method ((self poly) (monom monom) coeff)
+(defgeneric poly-append-term (self term)
+  (:documentation "Append a term TERM to SELF after all other terms. Order is not enforced.")
+  (:method ((self poly) (term term))
     (cond ((null (poly-dimension self))
-           (setf (poly-dimension self) (monom-dimension monom)))
-          (t (assert (= (poly-dimension self) (monom-dimension monom)))))
-    (setf (cdr (last (poly-termlist self))) (list (cons monom coeff)))
+           (setf (poly-dimension self) (monom-dimension term)))
+          (t (assert (= (poly-dimension self) (monom-dimension term)))))
+    (setf (cdr (last (poly-termlist self))) (list term))
     self))