Changeset 1965
- Timestamp:
- 2015-06-15T19:52:11-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1851 r1965 50 50 "Returns C2*F-C1*M*G, where F and G are polynomials M is a monomial. 51 51 Assume that the leading terms will cancel." 52 (declare (type ring-and-order ring-and-order)) 52 (declare (type ring-and-order ring-and-order) 53 (type monom m) 54 (type poly f g)) 53 55 #+grobner-check(funcall (ring-zerop ring) 54 56 (funcall (ring-sub ring)
Note:
See TracChangeset
for help on using the changeset viewer.