- Timestamp:
- 2015-06-12T15:36:36-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/gb-postprocessing.lisp
r1544 r1545 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) 51 (setf found nil 52 (q1 (remove x q))) 52 53 (dolist (x q) 53 54 (multiple-value-bind (h c div-count) 54 (normal-form ring-and-order x (remove x q)nil #| not a top reduction! |#)55 (normal-form ring-and-order x q1 nil #| not a top reduction! |#) 55 56 (declare (ignore c)) 56 57 (when (plusp div-count)
Note:
See TracChangeset
for help on using the changeset viewer.