Changeset 1264 for branches/f4grobner
- Timestamp:
- 2015-06-11T19:38:08-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r1263 r1264 67 67 &aux 68 68 (ring (ro-ring ring-and-order)) 69 (p-zero (make-poly-zero))) 69 (p-zero (make-poly-zero)) 70 (a (mapcar #'poly-reverse a)) 71 (r (poly-reverse r))) 70 72 "Check loop invariant of division algorithms, when we divide a 71 73 polynomial F by the list of polynomials FL. The invariant is the
Note:
See TracChangeset
for help on using the changeset viewer.