- Timestamp:
- 2015-06-11T23:22:44-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1399 r1400 218 218 (multiple-value-bind (a r-1 c-1 division-count-1) 219 219 (poly-pseudo-divide ring-and-order f fl) 220 (declare (ignore a)) 220 221 (assert (equalp r-1 f)) 221 222 (assert (equalp c-1 c))
Note:
See TracChangeset
for help on using the changeset viewer.