- Timestamp:
- 2015-06-11T21:56:27-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/gb-postprocessing.lisp
r1334 r1335 50 50 (let ((q1 (remove x q))) 51 51 (multiple-value-bind (h c div-count) 52 (normal-form ring x q1 nil #| not a top reduction! |# )52 (normal-form ring-and-order x q1 nil #| not a top reduction! |# ) 53 53 (declare (ignore c)) 54 54 (unless (zerop div-count)
Note:
See TracChangeset
for help on using the changeset viewer.