Changeset 1240
- Timestamp:
- 2015-06-11T15:01:12-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1239 r1240 188 188 (top-reduction-only $poly_top_reduction_only) 189 189 (ring (ro-ring ring-and-order))) 190 ;; Loop invariant: c*f0=sum ai*fi+r+f, where f0 is the initial value of f191 190 #+grobner-check(when (null fl) (warn "normal-form: empty divisor list.")) 192 191 (do ((r (make-poly-zero))
Note:
See TracChangeset
for help on using the changeset viewer.