Changeset 4447 for branches/f4grobner/5am-division.lisp
- Timestamp:
- 2016-06-11T08:36:52-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-division.lisp
r4438 r4447 190 190 for j from (1+ i) below (length gb) 191 191 do 192 (is (universal-zerop (second (multiple-value-list (poly-pseudo-divide (s-polynomial (elt gb i) (elt gb j)) gb ))))192 (is (universal-zerop (second (multiple-value-list (poly-pseudo-divide (s-polynomial (elt gb i) (elt gb j)) gb-copy)))) 193 193 "Failed with I=~S, J=~S~%" I J))) 194 194 (is (universal-equalp fl fl-copy))
Note:
See TracChangeset
for help on using the changeset viewer.