Changeset 600
- Timestamp:
- 2015-06-06T23:34:40-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r599 r600 82 82 (let ((p (make-monom 3 :initial-contents '(1 3 2))) 83 83 (q (make-monom 3 :initial-contents '(1 2 3)))) 84 (is-true ( ngrobner:lex> p q))85 (is-true ( ngrobner:grlex> p q))86 (is-true ( ngrobner:revlex> p q))87 (is-true ( ngrobner:grevlex> p q))88 (is-false ( ngrobner:invlex> p q)))84 (is-true (lex> p q)) 85 (is-true (grlex> p q)) 86 (is-true (revlex> p q)) 87 (is-true (grevlex> p q)) 88 (is-false (invlex> p q))) 89 89 (let ((p (make-monom 3 :initial-contents '(1 2 3))) 90 90 (q (make-monom 3 :initial-contents '(4 5 6)))) 91 (is-false ( ngrobner:elimination-order-1 p q))92 (is-false (funcall ( ngrobner:elimination-order 2) p q))))91 (is-false (elimination-order-1 p q)) 92 (is-false (funcall (elimination-order 2) p q)))) 93 93 94 94 (test term
Note:
See TracChangeset
for help on using the changeset viewer.