Changeset 3378
- Timestamp:
- 2015-08-27T06:16:21-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-poly.lisp
r3266 r3378 89 89 "Polynomial addition" 90 90 (with-fixture poly-add-context () (is (r-equalp (add-to p q) p+q))) 91 (with-fixture poly-add-context () (is (r-equalp (r+ p q) p+q))) 91 92 (with-fixture poly-add-context () (is (r-equalp (subtract-from p q) p-q))) 92 93 (with-fixture poly-add-context () (is (r-equalp (unary-minus p) p-uminus)))
Note:
See TracChangeset
for help on using the changeset viewer.