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 756 for branches/f4grobner


Ignore:
Timestamp:
2015-06-08T21:20:46-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r748 r756  
    8181  "monom"
    8282  (is (equalp (monom-exponents (make-monom 3)) #(0 0 0)) "Trivial monomial is a vector of 0's")
    83   (is (equalp (monom-exponents (make-monom 3 :initial-contents '(1 2 3))) #(1 2 3)) "Monomial with powers 1,2,3"))
     83  (is (equalp (monom-exponents (make-monom 3 :initial-exponents '(1 2 3))) #(1 2 3)) "Monomial with powers 1,2,3"))
    8484 
    8585(test order
    8686  "order"
    87   (let ((p (make-monom 3 :initial-contents '(1 3 2)))
    88         (q (make-monom 3 :initial-contents '(1 2 3))))
     87  (let ((p (make-monom 3 :initial-exponents '(1 3 2)))
     88        (q (make-monom 3 :initial-exponents '(1 2 3))))
    8989    (is-true (lex>  p q))
    9090    (is-true (grlex>  p q))
     
    9292    (is-true (grevlex>  p q))
    9393    (is-false (invlex>  p q)))
    94   (let ((p (make-monom 3 :initial-contents '(1 2 3)))
    95         (q (make-monom 3 :initial-contents '(4 5 6))))
     94  (let ((p (make-monom 3 :initial-exponents '(1 2 3)))
     95        (q (make-monom 3 :initial-exponents '(4 5 6))))
    9696    (is-false (elimination-order-1 p q))
    9797    (is-false (funcall (elimination-order 2) p q))))
     
    9999(test term
    100100  "term"
    101   (let* ((m1 (make-monom 3 :initial-contents '(1 2 3)))
    102          (m2 (make-monom 3 :initial-contents '(3 5 2)))
     101  (let* ((m1 (make-monom 3 :initial-exponents '(1 2 3)))
     102         (m2 (make-monom 3 :initial-exponents '(3 5 2)))
    103103         (m3 (monom-mul m1 m2))
    104104         (t1 (make-term m1 7))
Note: See TracChangeset for help on using the changeset viewer.