Changeset 4401 for branches/f4grobner/5am-division.lisp
- Timestamp:
- 2016-06-07T19:03:45-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-division.lisp
r4389 r4401 168 168 (is (universal-equalp fl fl-copy))))) 169 169 170 #+nil171 170 (test buchberger-criterion-full 172 171 (with-fixture buchberger-criterion-context
Note:
See TracChangeset
for help on using the changeset viewer.