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 1493


Ignore:
Timestamp:
2015-06-12T12:42:55-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r1477 r1493  
    252252                                   (k (length plist))
    253253                                   (d (+ k (monom-dimension (poly-lm (car plist)))))
    254                                    f-x plist-x)
     254                                   (f (poly-list-add-variables f k))
     255                                   (plist (apply #'poly-append (poly-standard-extension plist))))
    255256  "Calculate [F, U1*P1+U2*P2+...+UK*PK-1], where PLIST=[P1,P2,...,PK]."
    256   (setf f-x (poly-list-add-variables f k)
    257         plist-x (apply #'poly-append (poly-standard-extension plist))
    258         (cdr (last (poly-termlist plist-x))) (list (make-term (make-monom :dimension d)
    259                                                               (funcall (ring-uminus ring) (funcall (ring-unit ring))))))
    260   (append f-x (list plist-x)))
     257  ;; Add -1 as the last term
     258  (setf (cdr (last (poly-termlist plist)))
     259        (list (make-term (make-monom :dimension d)
     260                        (funcall (ring-uminus ring) (funcall (ring-unit ring))))))
     261  (append f (list plist)))
    261262
    262263(defun saturation-extension-1 (ring f p)
Note: See TracChangeset for help on using the changeset viewer.