- Timestamp:
- 2015-06-11T23:33:15-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1401 r1402 220 220 (declare (ignore a)) 221 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))) 222 ;;(assert (equalp c-1 c)) 223 ;;(assert (equalp division-count-1 division-count)) 224 ) 224 225 (values f c division-count)) 225 226 (declare (fixnum division-count)
Note:
See TracChangeset
for help on using the changeset viewer.