- Timestamp:
- 2016-06-04T12:05:00-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r4207 r4208 180 180 ;; method would be to test NORMAL-FORM using POLY-PSEUDO-DIVIDE. 181 181 ;; 182 (defun normal-form (f fl &optional (top-reduction-only $poly_top_reduction_only))182 (defun normal-form (f fl &optional (top-reduction-only nil)) 183 183 #+grobner-check(when (null fl) (warn "normal-form: empty divisor list.")) 184 184 (when (universal-zerop f)
Note:
See TracChangeset
for help on using the changeset viewer.