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 3089


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

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/polynomial.lisp

    r3088 r3089  
    318318polynomial.  Subsequently, P1, P2, ..., PK are destructively modified
    319319tantamount to replacing PI with UI*PI-1."
     320  ;; Implementation note: we use STANDARD-EXTENSION and then subtract
     321  ;; 1 from each polynomial; since UI*PI has no constant term,
     322  ;; we just need to append the constant term at the end
     323  ;; of each termlist.
    320324  (flet ((subtract-1 (p)
    321325           (append-item p (make-instance 'term :coeff -1 :dimension (+ k nvars)))))
    … …  
    339343which is equivalent to using a lexicographic order on the first K
    340344variables."
    341   (declare (type ring ring))
    342345  (setf (cdr (last (poly-termlist plist)))
    343346        ;; Add -1 as the last term
Note: See TracChangeset for help on using the changeset viewer.