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 3081


Ignore:
Timestamp:
2015-06-21T20:27:27-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/polynomial.lisp

    r3080 r3081  
    306306        (t (monom-dimension (leading-term poly)))))
    307307
    308 (defun saturation-extension (F plist
     308(defun saturation-extension (plist
    309309                             &aux
    310310                               (k (length plist))
    311                                (d (+ k (monom-dimension (poly-lt (car plist)))))
    312311                               (plist (poly-standard-extension plist))
    313                                (dim (poly-dimension (car plist))))
    314   "Calculate [F,U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK].
     312                               (dimension (poly-dimension (car plist))))
     313  "Calculate [U1*P1-1,U2*P2-1,...,UK*PK-1], where PLIST=[P1,P2,...,PK].
    315314The polynomials in F are destructively modified by inserting k variables
    316315at the beginning."
    317316  (flet ((subtract-1 (p)
    318            (append-item p (make-instance 'term :coeff -1 :dimension dim))))
     317           (append-item p (make-instance 'term :coeff -1 :dimension dimension))))
    319318    (print plist)
    320319    (setf plist (mapc #'subtract-1 plist))
Note: See TracChangeset for help on using the changeset viewer.