close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 2187


Ignore:
Timestamp:
2015-06-18T08:11:04-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/5am-monom.lisp

    r2186 r2187  
    5858        (n (make-monom :dimension 3 :initial-exponents '(4 5 6)))
    5959        (m*n (make-monom :dimension 3 :initial-exponents '(5 7 9)))
     60        (n/m (make-monom :dimension 3 :initial-exponents '(3 3 3)))
    6061        (m-tensor-n (make-monom :initial-exponents '(1 2 3 4 5 6))))
     62    (is (= (r-dimension m) 3))
     63    (is (= (r-elt m 2) 3))
     64    (is (= (r-total-degree m) 6))
     65    (is (= (r-sugar m) 6))
    6166    (is (equalp  (r->list z) '(0 0 0)) "Trivial monomial is a vector of 0's")
    6267    (is (r-equalp (r* m n) m*n))
     68    (is (r-equalp (r/ n m) n/m))
    6369    (is (r-equalp (r-tensor-product m n) m-tensor-n))
    6470    (signals
    6571        (error "INITIAL-EXPONENTS must have length DIMENSION")
    66       (make-monom :dimension 3 :initial-exponents '(1 2 3 4 5 6)))))
     72      (make-monom :dimension 3 :initial-exponents '(1 2 3 4 5 6)))
     73    (is-true (r-divides-p m n))
     74    (is-false (r-divides-p n m))
     75    (is (r-equalp (r-gcd m n) m))
     76    (is (r-equalp (r-lcm m n) n))))
    6777
    6878 
Note: See TracChangeset for help on using the changeset viewer.