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 3698


Ignore:
Timestamp:
2015-09-06T06:47:10-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r3697 r3698  
    470470  (left-tensor-product-by self (make-instance 'monom :dimension k)))
    471471
    472 (defun saturation-extension (f plist
    473                              &aux
    474                                (k (length plist))
    475                                (d (monom-dimension (poly-lm (car plist)))))
    476   "Calculate [F', U1*P1-1,U2*P2-1,...,UK*PK-1], where F' has first K
    477 variables U1,U2,...,UK inserted as first K variables and
    478 PLIST=[P1,P2,...,PK]."
    479   (setf f (mapc #'(lambda (x) (poly-add-variables x k)) f)
    480         plist (standard-extension-1 plist))
    481   (nconc f plist))
    482 
     472(defun saturation-extension (f plist &aux (k (length plist)))
     473  (nconc (mapc #'(lambda (x) (poly-add-variables x k)) f)
     474        (standard-extension-1 plist)))
     475
     476#|
    483477(defun polysaturation-extension (f plist
    484478                                 &aux (k (length plist))
    … …  
    497491  (polysaturation-extension f (list p)))
    498492
     493|#
Note: See TracChangeset for help on using the changeset viewer.