Changeset 3711 for branches/f4grobner

Timestamp:

2015-09-06T07:30:51-07:00 (9 years ago)

Author:

Marek Rychlik

Message:

* empty log message *

File:

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

branches/f4grobner/polynomial.lisp

@@ -465 +465 @@
   "Calculate [F', U1*P1-1,U2*P2-1,...,UK*PK-1], where
 PLIST=[P1,P2,...,PK] and F' is F with variables U1,U2,...,UK inserted
-as first K variables."
+as first K variables. It destructively modifies F and PLIST."
   (nconc (mapc #'(lambda (x) (poly-insert-variables x k)) f)
          (standard-extension-1 plist)))
@@ -472 +472 @@
   "Calculate [F', U1*P1+U2*P2+...+UK*PK-1], where PLIST=[P1,P2,...,PK]
 and F' is F with variables U1,U2,...,UK inserted as first K
-variables."
+variables. It destructively modifies F and PLIST."
   (nconc (mapc #'(lambda (x) (poly-insert-variables x k)) f)
          (list (standard-sum plist))))
@@ -478 +478 @@
 (defun saturation-extension-1 (f p) 
   "Given family of polynomials F and a polynomial P, calculate [F', U*P-1], where
-F' is F with variable inserted as the first variable. It destructively modifies F."
+F' is F with variable inserted as the first variable. It destructively modifies F and P."
   (polysaturation-extension f (list p)))