Changeset 2822
- Timestamp:
- 2015-06-21T09:37:04-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r2821 r2822 95 95 (is (r-equalp (multiply-by m n) m*n))) 96 96 (with-fixture monom-context () 97 (is (r-equalp (divide-by m n) m/n))))97 (is (r-equalp (divide-by n m) n/m)))) 98 98 99 99 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Note:
See TracChangeset
for help on using the changeset viewer.