Changeset 4442 for branches/f4grobner/buchberger.lisp
- Timestamp:
- 2016-06-10T19:45:42-07:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/buchberger.lisp
r4390 r4442 64 64 (cond 65 65 ((criterion-1 pair) nil) 66 ((criterion-2 pair b-done f) nil)66 ;;((criterion-2 pair b-done f) nil) 67 67 (t 68 68 (let ((sp (normal-form (s-polynomial
Note:
See TracChangeset
for help on using the changeset viewer.