Changeset 2644
- Timestamp:
- 2015-06-20T14:51:11-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-poly.lisp
r2643 r2644 77 77 "Polynomial addition" 78 78 (with-fixture poly-context () 79 (is (r-equal (add-to p q) p+q)) 80 )) 79 (is (r-equal (add-to p q) p+q))) 80 (with-fixture poly-context () 81 (is (r-equal (subtract-from p q) p-q)))) 82 81 83 82 84
Note:
See TracChangeset
for help on using the changeset viewer.