Changeset 2830 for branches/f4grobner
- Timestamp:
- 2015-06-21T09:48:16-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r2829 r2830 135 135 (r-depends-p m 3)) 136 136 ) 137 (with-fixture term-context () 138 (is (r-equalp (multiply-by m n) m*n))) 139 (with-fixture term-context () 140 (is (r-equalp (divide-by n m) n/m)))) 137 141 138 )139 142 140 143 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Note:
See TracChangeset
for help on using the changeset viewer.