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 3079


Ignore:
Timestamp:
2015-06-21T18:33:22-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/polynomial.lisp

    r3078 r3079  
    306306        (t (monom-dimension (leading-term poly)))))
    307307
    308 (defun saturation-extension (plist
     308(defun saturation-extension (F plist
    309309                             &aux
     310                               (k (length plist))
     311                               (d (+ k (monom-dimension (poly-lt (car plist)))))
    310312                               (plist (poly-standard-extension plist))
    311313                               (dim (poly-dimension (car plist))))
     
    319321
    320322
    321 (defun polysaturation-extension (ring f plist
     323(defun polysaturation-extension (F plist
    322324                                 &aux
    323325                                   (k (length plist))
    324                                    (d (+ k (monom-dimension (poly-lm (car plist)))))
     326                                   (d (+ k (monom-dimension (poly-lt (car plist)))))
    325327                                   ;; Add k variables to f
    326328                                   (f (poly-list-add-variables f k))
    327329                                   ;; Set PLIST to [U1*P1,U2*P2,...,UK*PK]
    328330                                   (plist (apply #'nconc (poly-standard-extension plist))))
    329   "Calculate [U1*P1+U2*P2+...+UK*PK-1], where PLIST=[P1,P2,...,PK]."
     331  "Calculate [F,U1*P1+U2*P2+...+UK*PK-1], where PLIST=[P1,P2,...,PK]."
    330332  ;; Add -1 as the last term
    331333  (declare (type ring ring))
Note: See TracChangeset for help on using the changeset viewer.