Changeset 2452
- Timestamp:
- 2015-06-19T10:27:16-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r2408 r2452 132 132 ) 133 133 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)))) 134 162 135 163 (run! 'monom-suite)
Note:
See TracChangeset
for help on using the changeset viewer.