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