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