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 3593


Ignore:
Timestamp:
2015-09-05T18:23:34-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r3484 r3593  
    6767    (is (= (monom-dimension m) 3))
    6868    (is (= (monom-elt m 2) 3))
    69     (is (= (monom-total-degree m) 6))
    70     (is (= (monom-sugar m) 6))
     69    (is (= (total-degree m) 6))
     70    (is (= (sugar m) 6))
    7171    (is (equalp  (monom->list (make-instance 'monom  :dimension 3)) '(0 0 0)) "Trivial monomial is a vector of 0's")
    72     (is (monom-equalp (monom-multiply-2 m n) m*n))
    73     (is (monom-equalp (monom-divide-by n m) n/m))
    74     (is (monom-equalp (monom-right-tensor-product-by m n) m-tensor-n))
     72    (is (universal-equalp (multiply-2 m n) m*n))
     73    (is (universal-equalp (divide-by n m) n/m))
     74    (is (universal-equalp (right-tensor-product-by m n) m-tensor-n))
    7575    (signals
    7676        (error "EXPONENTS must have length DIMENSION")
    7777      (make-instance 'monom  :dimension 3 :exponents '(1 2 3 4 5 6)))
    78     (is-true (monom-divides-p m n))
    79     (is-false (monom-divides-p n m))
    80     (is (monom-equalp (monom-gcd m n) m))
    81     (is (monom-equalp (monom-lcm m n) n))
    82     (is-true (monom-depends-p m 0))
     78    (is-true (divides-p m n))
     79    (is-false (divides-p n m))
     80    (is (universal-equalp (universal-gcd m n) m))
     81    (is (universal-equalp (universal-lcm m n) n))
     82    (is-true (depends-p m 0))
    8383    (signals
    8484        (error "Index out of bounds")
    85       (monom-depends-p m 3))
     85      (depends-p m 3))
    8686    )
    8787  (with-fixture monom-context ()
    88     (is (monom-equalp (monom-multiply-by m n) m*n)))
     88    (is (universal-equalp (multiply-by m n) m*n)))
    8989  (with-fixture monom-context ()
    90     (is (monom-equalp (monom-divide-by n m) n/m)))
     90    (is (universal-equalp (divide-by n m) n/m)))
    9191  (with-fixture monom-context ()
    9292    (is (equal (monom->list m) '(1 2 3)))))
Note: See TracChangeset for help on using the changeset viewer.