close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 3708


Ignore:
Timestamp:
2015-09-06T07:24:31-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/polynomial.lisp

    r3705 r3708  
    471471
    472472(defun saturation-extension (f plist &aux (k (length plist)))
    473   "Calculate [F', U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK]."
     473  "Calculate [F', U1*P1-1,U2*P2-1,...,UK*PK-1], where
     474PLIST=[P1,P2,...,PK] and F' is F with variables U1,U2,...,UK inserted
     475as first K variables."
    474476  (nconc (mapc #'(lambda (x) (poly-insert-variables x k)) f)
    475477         (standard-extension-1 plist)))
    476478
    477479(defun polysaturation-extension (f plist &aux (k (length plist)))
    478   "Calculate [F', U1*P1+U2*P2+...+UK*PK-1], where PLIST=[P1,P2,...,PK]."
     480  "Calculate [F', U1*P1+U2*P2+...+UK*PK-1], where PLIST=[P1,P2,...,PK]
     481and F' is F with variables U1,U2,...,UK inserted as first K
     482variables."
    479483  (nconc (mapc #'(lambda (x) (poly-insert-variables x k)) f)
    480484         (list (standard-sum plist))))
Note: See TracChangeset for help on using the changeset viewer.