Changeset 4389
- Timestamp:
- 2016-06-07T09:50:53-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-division.lisp
r4388 r4389 152 152 153 153 154 #+nil155 154 (test buchberger-containment 156 155 "Check ideal containment"
Note:
See TracChangeset
for help on using the changeset viewer.