- Timestamp:
- 2015-06-11T20:41:04-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/buchberger.lisp
r1292 r1293 125 125 (let ((pair (pair-queue-remove b))) 126 126 (when (null (pair-division-data pair)) 127 (setf (pair-division-data pair) (list (spoly ring 127 (setf (pair-division-data pair) (list (spoly ring-and-order 128 128 (pair-first pair) 129 129 (pair-second pair)) … … 176 176 (pair-queue-insert b pair)) 177 177 (multiple-value-setq (p sp c division-count) 178 (normal-form-step ring f p sp c division-count))))))))))))178 (normal-form-step ring-and-order f p sp c division-count))))))))))))
Note:
See TracChangeset
for help on using the changeset viewer.