- Timestamp:
- 2015-06-18T19:39:55-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r2315 r2316 73 73 (is (r-equalp (r* m n) m*n)) 74 74 (is (r-equalp (r/ n m) n/m)) 75 (is (r-equalp (r/ n m) n/m))76 75 (is (r-equalp (r-tensor-product m n) m-tensor-n)))) 77 76 (signals
Note:
See TracChangeset
for help on using the changeset viewer.