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 3699


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/polynomial.lisp

    r3698 r3699  
    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]."
    473474  (nconc (mapc #'(lambda (x) (poly-add-variables x k)) f)
    474         (standard-extension-1 plist)))
    475 
    476 #|
    477 (defun polysaturation-extension (f plist
    478                                  &aux (k (length plist))
    479                                    (d (+ k (length (poly-lm (car plist))))))
     475         (standard-extension-1 plist)))
     476
     477
     478(defun polysaturation-extension (f plist &aux (k (length plist)))
    480479  "Calculate [F', U1*P1+U2*P2+...+UK*PK-1], where PLIST=[P1,P2,...,PK]."
    481   (setf f (poly-list-add-variables f k)
    482         plist (apply #'poly-append (poly-standard-extension plist))
    483         (cdr (last (poly-termlist plist))) (list (make-term (make-monom d :initial-element 0)
    484                                                             (funcall (ring-uminus ring) (funcall (ring-unit ring))))))
    485   (append f (list plist)))
    486 
     480  (nconc (mapc #'(lambda (x) (poly-add-variables x k)) f)
     481         (standard-sum plist)))
    487482
    488483(defun saturation-extension-1 (f p)
     
    490485F' is F with variable U inserted as the first variable. It destructively modifies F."
    491486  (polysaturation-extension f (list p)))
    492 
    493 |#
Note: See TracChangeset for help on using the changeset viewer.