Changeset 4121
- Timestamp:
- 2016-06-01T14:08:42-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r4118 r4121 61 61 (multiply g m c1))) 62 62 63 (defun check-loop-invariant (c f a fl r p 64 &aux 65 (p-zero (make-zero-for f)) 66 (a (mapcar #'poly-reverse a)) 67 (r (poly-reverse r))) 63 (defun check-loop-invariant (c f a fl r p &aux (p-zero (make-zero-for f))) 68 64 "Check loop invariant of division algorithms, when we divide a 69 65 polynomial F by the list of polynomials FL. The invariant is the
Note:
See TracChangeset
for help on using the changeset viewer.