Changeset 3638
- Timestamp:
- 2015-09-05T20:38:16-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-poly.lisp
r3637 r3638 87 87 "Polynomial addition" 88 88 (with-fixture poly-add-context () (is (universal-equalp (add-to p q) p+q))) 89 (with-fixture poly-add-context () (is (universal-equalp ( r+p q) p+q)))89 (with-fixture poly-add-context () (is (universal-equalp (add p q) p+q))) 90 90 (with-fixture poly-add-context () (is (universal-equalp (subtract-from p q) p-q))) 91 (with-fixture poly-add-context () (is (universal-equalp ( r-p q) p-q)))91 (with-fixture poly-add-context () (is (universal-equalp (subtract p q) p-q))) 92 92 (with-fixture poly-add-context () (is (universal-equalp (unary-minus p) p-uminus))) 93 93 ) … … 112 112 (test poly-multiply 113 113 "Polynomial multiplication" 114 (with-fixture poly-multiply-context () (is (universal-equalp ( r*p q) p*q)))114 (with-fixture poly-multiply-context () (is (universal-equalp (multiply p q) p*q))) 115 115 ) 116 116
Note:
See TracChangeset
for help on using the changeset viewer.