Changeset 3083

Timestamp:

2015-06-21T20:30:08-07:00 (10 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-minus-1 (plist 
-                                     &aux 
-                                       (k (length plist))
-                                       (plist (poly-standard-extension plist))
-                                       (dimension (poly-dimension (car plist))))
+(defun saturation-extension (plist 
+                             &aux 
+                               (k (length plist))
+                               (plist (poly-standard-extension plist))
+                               (nvars (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 dimension))))
-    (print plist)
-    (setf plist (mapc #'subtract-1 plist))
-    (print plist))
+           (append-item p (make-instance 'term :coeff -1 :dimension (+ k nvars)))))
+    (setf plist (mapc #'subtract-1 plist)))
   plist)