- Timestamp:
- 2015-06-18T16:27:00-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r2290 r2291 55 55 "monom" 56 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))))57 (m (make-instance 'monom :dimension 3 :exponents '(1 2 3))) 58 (n (make-instance 'monom :dimension 3 :exponents '(4 5 6))) 59 (m*n (make-instance 'monom :dimension 3 :exponents '(5 7 9))) 60 (n/m (make-instance 'monom :dimension 3 :exponents '(3 3 3))) 61 (m-tensor-n (make-instance 'monom :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-instance 'monom :dimension 3 : initial-exponents '(1 2 3 4 5 6)))72 (make-instance 'monom :dimension 3 :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))
Note:
See TracChangeset
for help on using the changeset viewer.