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 947


Ignore:
Timestamp:
2015-06-09T19:30:31-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-tests.lisp

    r944 r947  
    8888(test order
    8989  "order"
    90   (let ((p (make-monom :initial-exponents '(1 3 2)))
    91         (q (make-monom :initial-exponents '(1 2 3)))
    92         (factory (make-elimination-order-factory)))
     90  (let* ((p (make-monom :initial-exponents '(1 3 2)))
     91         (q (make-monom :initial-exponents '(1 2 3)))
     92         (factory (make-elimination-order-factory))
     93         (elimination-order-1 (funcall factory 1))
     94         (elimination-order-2 (funcall factory 2)))
    9395    (is-true (lex>  p q))
    9496    (is-true (grlex>  p q))
    … …  
    98100  (let ((p (make-monom :initial-exponents '(1 2 3)))
    99101        (q (make-monom :initial-exponents '(4 5 6))))
    100     (is-false (elimination-order-1 p q))
    101     (is-false (funcall (elimination-order 2) p q))))
     102    (is-false (funcall elimination-order-1 p q))
     103    (is-false (funcall elimination-order-2 p q))))
    102104
    103105(test term
Note: See TracChangeset for help on using the changeset viewer.