Changeset 1399
- Timestamp:
- 2015-06-11T23:21:46-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1299 r1399 215 215 (debug-cgb " ---> 0"))) 216 216 (setf (poly-termlist f) (nreconc (poly-termlist r) (poly-termlist f))) 217 #+grobner-check 218 (multiple-value-bind (a r-1 c-1 division-count-1) 219 (poly-pseudo-divide ring-and-order f fl) 220 (assert (equalp r-1 f)) 221 (assert (equalp c-1 c)) 222 (assert (equalp division-count-1 division-count))) 217 223 (values f c division-count)) 218 224 (declare (fixnum division-count)
Note:
See TracChangeset
for help on using the changeset viewer.