Changeset 1205
- Timestamp:
- 2015-06-11T10:58:17-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1204 r1205 55 55 (funcall (ring-mul ring) c1 (poly-lc g)))) 56 56 #+grobner-check(monom-equal-p (poly-lm f) (monom-mul m (poly-lm g))) 57 ;; Note that we can drop the leading terms of f ang g 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 60 (poly-sub ring-and-order 59 61 (scalar-times-poly ring c2 f)
Note:
See TracChangeset
for help on using the changeset viewer.