- Timestamp:
- 2016-06-18T10:47:23-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r4448 r4534 65 65 (is (= (monom-elt m 2) 3)) 66 66 (is (= (total-degree m) 6)) 67 (is (= (sugar m) 6))68 67 (is (equalp (->list (make-instance 'monom :dimension 3)) '(0 0 0)) "Trivial monomial is a vector of 0's") 69 68 (is (universal-equalp (multiply m n) m*n)) … … 148 147 (is (= (monom-elt m 2) 3)) 149 148 (is (= (total-degree m) 6)) 150 (is (= (sugar m) 6))151 149 (is (equalp (->list z) '((0 0 0) . 5)) "Trivial term is a vector of 0's") 152 150 (is (universal-equalp (multiply m n) m*n))
Note:
See TracChangeset
for help on using the changeset viewer.