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 40


Ignore:
Timestamp:
2015-06-02T00:12:20-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/f4-matrix.lisp

    r39 r40  
    3030;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    3131
    32 (defun normal-form-step (ring fl p r c division-count
     32(defun f4-normal-form-step (ring fl p r c division-count
    3333                         &aux (g (find (poly-lm p) fl
    3434                                       :test #'monom-divisible-by-p
    … …  
    5555
    5656;; Merge it sometime with poly-pseudo-divide
    57 (defun normal-form (ring f fl &optional (top-reduction-only $poly_top_reduction_only))
     57(defun f4-normal-form (ring f fl &optional (top-reduction-only $poly_top_reduction_only))
    5858  ;; Loop invariant: c*f0=sum ai*fi+r+f, where f0 is the initial value of f
    5959  #+grobner-check(when (null fl) (warn "normal-form: empty divisor list."))
    … …  
    7373             (type poly r))
    7474    (multiple-value-setq (f r c division-count)
    75       (normal-form-step ring fl f r c division-count))))
     75      (f4-normal-form-step ring fl f r c division-count))))
Note: See TracChangeset for help on using the changeset viewer.