- Timestamp:
- 2015-09-05T18:45:03-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r3601 r3603 150 150 (is (= (monom-dimension m) 3)) 151 151 (is (= (monom-elt m 2) 3)) 152 (is (= ( r-total-degree m) 6))153 (is (= ( r-sugar m) 6))152 (is (= (total-degree m) 6)) 153 (is (= (sugar m) 6)) 154 154 (is (equalp (monom->list z) '(0 0 0)) "Trivial term is a vector of 0's") 155 155 (is (universal-equalp (multiply m n) m*n))
Note:
See TracChangeset
for help on using the changeset viewer.