Changeset 788 for branches/f4grobner

Timestamp:

2015-06-08T22:34:48-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/termlist.lisp

@@ -129 +129 @@
   (declare (ring ring))
   (mapcar #'(lambda (x)
-              (make-term :monom (term-monom x)
-                         :coeff (funcall (ring-uminus ring) (term-coeff x))))
+              (make-term (term-monom x) (funcall (ring-uminus ring) (term-coeff x))))
           f))
 
@@ -149 +148 @@
              (let ((s (funcall (ring-add ring) (termlist-lc p) (termlist-lc q))))
                (unless (funcall (ring-zerop ring) s)    ;check for cancellation
-                 (setf r (cons (make-term :monom (termlist-lm p) :coeff s) r)))
+                 (setf r (cons (make-term (termlist-lm p) s) r)))
                (setf p (cdr p) q (cdr q))))
             (lm-greater
@@ -177 +176 @@
              (let ((s (funcall (ring-sub ring) (termlist-lc p) (termlist-lc q))))
                (unless (funcall (ring-zerop ring) s)    ;check for cancellation
-                 (setf r (cons (make-term :monom (termlist-lm p) :coeff s) r)))
+                 (setf r (cons (make-term (termlist-lm p) s) r)))
                (setf p (cdr p) q (cdr q))))
             (mgreater
              (setf r (cons (car p) r)
                    p (cdr p)))
-            (t (setf r (cons (make-term :monom (termlist-lm q) 
-                                        :coeff (funcall (ring-uminus ring) (termlist-lc q))) r)
+            (t (setf r (cons (make-term (termlist-lm q)
+                                        (funcall (ring-uminus ring) (termlist-lc q))) r)
                      q (cdr q)))))
          nil))