Changeset 2290
- Timestamp:
- 2015-06-18T16:26:36-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r2188 r2290 54 54 (test monom 55 55 "monom" 56 (let ((z (make- monom:dimension 3))57 (m (make- monom:dimension 3 :initial-exponents '(1 2 3)))58 (n (make- monom:dimension 3 :initial-exponents '(4 5 6)))59 (m*n (make- monom:dimension 3 :initial-exponents '(5 7 9)))60 (n/m (make- monom:dimension 3 :initial-exponents '(3 3 3)))61 (m-tensor-n (make- monom:initial-exponents '(1 2 3 4 5 6))))56 (let ((z (make-instance 'monom :dimension 3)) 57 (m (make-instance 'monom :dimension 3 :initial-exponents '(1 2 3))) 58 (n (make-instance 'monom :dimension 3 :initial-exponents '(4 5 6))) 59 (m*n (make-instance 'monom :dimension 3 :initial-exponents '(5 7 9))) 60 (n/m (make-instance 'monom :dimension 3 :initial-exponents '(3 3 3))) 61 (m-tensor-n (make-instance 'monom :initial-exponents '(1 2 3 4 5 6)))) 62 62 (is (= (r-dimension m) 3)) 63 63 (is (= (r-elt m 2) 3)) … … 70 70 (signals 71 71 (error "INITIAL-EXPONENTS must have length DIMENSION") 72 (make- monom:dimension 3 :initial-exponents '(1 2 3 4 5 6)))72 (make-instance 'monom :dimension 3 :initial-exponents '(1 2 3 4 5 6))) 73 73 (is-true (r-divides-p m n)) 74 74 (is-false (r-divides-p n m)) 75 75 (is (r-equalp (r-gcd m n) m)) 76 76 (is (r-equalp (r-lcm m n) n)) 77 (is-true (r-depends-p m 0)))) 77 (is-true (r-depends-p m 0)) 78 (signals 79 (error "Index out of bounds") 80 (r-depends-p m 3)))) 78 81 79 82
Note:
See TracChangeset
for help on using the changeset viewer.