Changeset 1476

Timestamp:

2015-06-12T12:16:45-07:00 (10 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -251 +251 @@
                                  &aux 
                                    (k (length plist))
-                                   (d (+ k (monom-dimension (poly-lm (car plist))))))
+                                   (d (+ k (monom-dimension (poly-lm (car plist)))))
+                                   f-x plist-x)
   "Calculate [F, U1*P1+U2*P2+...+UK*PK-1], where PLIST=[P1,P2,...,PK]."
-  (setf f (poly-list-add-variables f k)
-        plist (apply #'poly-append (poly-standard-extension plist))
-        (cdr (last (poly-termlist plist))) (list (make-term (make-monom :dimension d)
-                                                            (funcall (ring-uminus ring) (funcall (ring-unit ring))))))
-  (append f (list plist)))
+  (setf f-x (poly-list-add-variables f k)
+        plist-x (apply #'poly-append (poly-standard-extension plist))
+        (cdr (last (poly-termlist plist-x))) (list (make-term (make-monom :dimension d)
+                                                              (funcall (ring-uminus ring) (funcall (ring-unit ring))))))
+  (append f-x (list plist-x)))
 
 (defun saturation-extension-1 (ring f p) (polysaturation-extension ring f (list p)))