Changeset 2458
- Timestamp:
- 2015-06-19T10:33:23-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-monom.lisp
r2457 r2458 135 135 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 136 136 ;; 137 ;; order generics (lex>, grlex>,...) tests137 ;; Order generics (LEX>, GRLEX>,...) tests 138 138 ;; 139 139 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; … … 164 164 165 165 (test elim-order 166 " elimination order"166 "Elimination order" 167 167 (with-fixture elim-order-context () 168 168 (is-false (funcall elim-order-1 p q))
Note:
See TracChangeset
for help on using the changeset viewer.