Changeset 3081

Timestamp:

2015-06-21T20:27:27-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -306 +306 @@
         (t (monom-dimension (leading-term poly)))))
 
-(defun saturation-extension (F plist 
+(defun saturation-extension (plist 
                              &aux 
                                (k (length plist))
-                               (d (+ k (monom-dimension (poly-lt (car plist)))))
                                (plist (poly-standard-extension plist))
-                               (dim (poly-dimension (car plist))))
-  "Calculate [F,U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK].
+                               (dimension (poly-dimension (car plist))))
+  "Calculate [U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK].
 The polynomials in F are destructively modified by inserting k variables 
 at the beginning."
   (flet ((subtract-1 (p) 
-           (append-item p (make-instance 'term :coeff -1 :dimension dim))))
+           (append-item p (make-instance 'term :coeff -1 :dimension dimension))))
     (print plist)
     (setf plist (mapc #'subtract-1 plist))