Changeset 356
- Timestamp:
- 2015-06-06T12:51:10-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-tests.lisp
r355 r356 88 88 (is-false (ngrobner:invlex> p q)))) 89 89 90 90 (test order-mk 91 (let ((p (make-monom 3 :initial-contents '(1 2 3))) 92 (q (make-monom 3 :initial-contents '(4 5 6)))) 93 (is-false (ngrobner:elimination-order-1 p q)))) 91 94 92 95 (run! 'utils-suite)
Note:
See TracChangeset
for help on using the changeset viewer.