Changeset 948
- Timestamp:
- 2015-06-09T19:33:19-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r947 r948 88 88 (test order 89 89 "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)) 93 (elimination-order-1 (funcall factory 1)) 94 (elimination-order-2 (funcall factory 2))) 90 (let ((p (make-monom :initial-exponents '(1 3 2))) 91 (q (make-monom :initial-exponents '(1 2 3)))) 95 92 (is-true (lex> p q)) 96 93 (is-true (grlex> p q)) 97 94 (is-true (revlex> p q)) 98 95 (is-true (grevlex> p q)) 99 (is-false (invlex> p q))) 100 (let ((p (make-monom :initial-exponents '(1 2 3))) 101 (q (make-monom :initial-exponents '(4 5 6)))) 96 (is-false (invlex> p q)))) 97 98 (test elim-order 99 "elimination order" 100 (let* ((p (make-monom :initial-exponents '(1 2 3))) 101 (q (make-monom :initial-exponents '(4 5 6))) 102 (elim-order-factory (make-elimination-order-factory)) 103 (elim-order-1 (funcall elim-order-factory 1)) 104 (elim-order-2 (funcall elim-order-factory 2))) 102 105 (is-false (funcall elimination-order-1 p q)) 103 106 (is-false (funcall elimination-order-2 p q))))
Note:
See TracChangeset
for help on using the changeset viewer.