Changeset 944 for branches/f4grobner
- Timestamp:
- 2015-06-09T19:27:10-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r885 r944 89 89 "order" 90 90 (let ((p (make-monom :initial-exponents '(1 3 2))) 91 (q (make-monom :initial-exponents '(1 2 3)))) 91 (q (make-monom :initial-exponents '(1 2 3))) 92 (factory (make-elimination-order-factory))) 92 93 (is-true (lex> p q)) 93 94 (is-true (grlex> p q))
Note:
See TracChangeset
for help on using the changeset viewer.