Changeset 3510 for branches

Timestamp:

2015-09-05T11:24:49-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -80 +80 @@
     self))
 
+(defgeneric poly-insert-term (self monom coeff)
+  (:method ((self poly) (monom monom) coeff)
+    (cond ((null (poly-dimension self))
+           (setf (poly-dimension self) (monom-dimension monom)))
+          (t (assert (= (poly-dimension self) (monom-dimension monom)))))
+    (push (cons monom coeff) (poly-termlist self))
+    self))
+
+(defgeneric poly-append-term (self monom coeff)
+  (:method ((self poly) (monom monom) coeff)
+    (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)))
+    self))
+
 (defun alist->poly (alist &aux (poly (make-instance 'poly)))
   "It reads polynomial from an alist formatted as ( ... (exponents . coeff) ...).
@@ -106 +122 @@
        (eq (poly-term-order self) (poly-term-order other))))
 
-(defgeneric poly-insert-term (self monom coeff)
-  (:method ((self poly) (monom monom) coeff)
-    (cond ((null (poly-dimension self))
-           (setf (poly-dimension self) (monom-dimension monom)))
-          (t (assert (= (poly-dimension self) (monom-dimension monom)))))
-    (push (cons monom coeff) (poly-termlist self))
-    self))
-
-(defgeneric poly-append-term (self monom coeff)
-  (:method ((self poly) (monom monom) coeff)
-    (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)))
-    self))
 
 ;; Leading term