- Timestamp:
- 2015-06-10T20:35:19-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1177 r1178 49 49 "Returns C2*F-C1*M*G, where F and G are polynomials M is a monomial. 50 50 Assume that the leading terms will cancel." 51 (declare (type ring-and-order ring-and-order)) 51 52 #+grobner-check(funcall (ring-zerop ring) 52 53 (funcall (ring-sub ring)
Note:
See TracChangeset
for help on using the changeset viewer.