- Timestamp:
- 2016-05-31T18:35:43-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/division.lisp
r4064 r4065 82 82 c f a fl r p) 83 83 |# 84 (let* ((prod (inner-product a fl #'add #'multiply p-zero)) 85 (succeeded-p 86 (universal-zerop 87 (subtract 88 (multiply c f) 89 (reduce #'add (list prod r p)))))) 84 (let* ((prod (inner-product a fl add multiply p-zero)) 85 (succeeded-p (universal-zerop (subtract (multiply c f) (add prod r p))))) 90 86 (unless succeeded-p 91 87 (error "#### Polynomial division Loop invariant failed ####:~%C=~A~%F=~A~%A=~A~%FL=~A~%R=~A~%P=~A~%"
Note:
See TracChangeset
for help on using the changeset viewer.