- Timestamp:
- 2015-06-12T15:37:57-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/gb-postprocessing.lisp
r1546 r1547 49 49 ;; 2) Replace p with remainder from division by Q\{p}, if 50 50 ;; non-zero, else set Q to Q\{p} 51 (setf found nil 52 q1 (remove x q)) 51 (setf found nil) 53 52 (dolist (x q) 53 (setf q1 (remove x q)) 54 54 (multiple-value-bind (h c div-count) 55 55 (normal-form ring-and-order x q1 nil #| not a top reduction! |#)
Note:
See TracChangeset
for help on using the changeset viewer.