Changeset 1206
- Timestamp:
- 2015-06-11T10:59:25-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1205 r1206 56 56 #+grobner-check(monom-equal-p (poly-lm f) (monom-mul m (poly-lm g))) 57 57 ;; Note that below we can drop the leading terms of f ang g for the 58 ;; purpose of polynomial arithmetic. However, the sugar calculation 59 ;; would not be correct if this is done. 58 ;; purpose of polynomial arithmetic. 59 ;; 60 ;; TODO: Make sure that the sugar 61 ;; calculation is correct if leading terms are dropped. 60 62 (poly-sub ring-and-order 61 (scalar-times-poly ring c2 f)62 (scalar-times-poly ring c1 (monom-times-poly m g))))63 (scalar-times-poly-1 ring c2 f) 64 (scalar-times-poly-1 ring c1 (monom-times-poly m g)))) 63 65 64 66 (defun poly-pseudo-divide (ring-and-order f fl
Note:
See TracChangeset
for help on using the changeset viewer.