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


Ignore:
Timestamp:
2015-06-19T10:27:16-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

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

    r2408 r2452  
    132132  )
    133133
     134(def-fixture order-context ()
     135  (let ((p (make-monom :initial-exponents '(1 3 2)))
     136        (q (make-monom :initial-exponents '(1 2 3))))
     137    (&body)))
     138
     139(test order
     140  "order"
     141  (with-fixture order-context ()
     142    (is-true (lex>  p q))
     143    (is-true (grlex>  p q))
     144    (is-true (revlex>  p q))
     145    (is-true (grevlex>  p q))
     146    (is-false (invlex>  p q))))
     147
     148(def-fixture elim-order-context ()
     149  (let* ((p (make-monom :initial-exponents '(1 2 3)))
     150         (q (make-monom :initial-exponents '(4 5 6)))
     151         (elim-order-factory (make-elimination-order-factory))
     152         (elim-order-1 (funcall elim-order-factory 1))
     153         (elim-order-2 (funcall elim-order-factory 2)))
     154    (&body)))
     155
     156
     157(test elim-order
     158  "elimination order"
     159  (with-fixture elim-order-context ()
     160    (is-false (funcall elim-order-1 p q))
     161    (is-false (funcall elim-order-2 p q))))
    134162
    135163(run! 'monom-suite)
Note: See TracChangeset for help on using the changeset viewer.