- Timestamp:
- 2015-09-05T09:50:37-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r3463 r3464 76 76 (is (= (monom-sugar m) 6)) 77 77 (is (equalp (monom->list (make-instance 'monom :dimension 3)) '(0 0 0)) "Trivial monomial is a vector of 0's") 78 (is (monom-equalp ( r*m n) m*n))79 (is (monom-equalp ( r/n m) n/m))78 (is (monom-equalp (monom-multiply-2 m n) m*n)) 79 (is (monom-equalp (monom-divide-by n m) n/m)) 80 80 (is (monom-equalp (right-tensor-product-by m n) m-tensor-n)) 81 81 (signals … … 92 92 ) 93 93 (with-fixture monom-context () 94 (is (monom-equalp (m ultiply-by m n) m*n)))94 (is (monom-equalp (monom-multiply-by m n) m*n))) 95 95 (with-fixture monom-context () 96 (is (monom-equalp ( divide-by n m) n/m))))96 (is (monom-equalp (monom-divide-by n m) n/m)))) 97 97 98 98 (run! 'monom-suite)
Note:
See TracChangeset
for help on using the changeset viewer.