- Timestamp:
- 2015-06-12T16:05:54-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/gb-postprocessing.lisp
r1547 r1569 52 52 (dolist (x q) 53 53 (setf q1 (remove x q)) 54 (unless q1 (return)) 54 55 (multiple-value-bind (h c div-count) 55 56 (normal-form ring-and-order x q1 nil #| not a top reduction! |#)
Note:
See TracChangeset
for help on using the changeset viewer.