- Timestamp:
- 2015-06-21T09:41:30-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r2822 r2824 61 61 62 62 (def-fixture monom-context () 63 (let ((z (make-instance 'monom :dimension 3)) 64 (m (make-instance 'monom :dimension 3 :exponents '(1 2 3))) 63 (let ((m (make-instance 'monom :dimension 3 :exponents '(1 2 3))) 65 64 (n (make-instance 'monom :dimension 3 :exponents '(4 5 6))) 66 65 (m*n (make-instance 'monom :dimension 3 :exponents '(5 7 9))) … … 76 75 (is (= (r-total-degree m) 6)) 77 76 (is (= (r-sugar m) 6)) 78 (is (equalp (r->list z) '(0 0 0)) "Trivial monomial is a vector of 0's")77 (is (equalp (r->list (make-instance 'monom :dimension 3)) '(0 0 0)) "Trivial monomial is a vector of 0's") 79 78 (is (r-equalp (r* m n) m*n)) 80 79 (is (r-equalp (r/ n m) n/m))
Note:
See TracChangeset
for help on using the changeset viewer.