Changeset 1397
- Timestamp:
- 2015-06-11T23:12:32-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r1396 r1397 200 200 ((endp plist) 201 201 (reduced-grobner ring-and-order f start top-reduction-only)) 202 (t (let ((g (ideal-saturation-1 ring f (car plist) start top-reduction-only)))203 (ideal-polysaturation-1 ring g (rest plist) (length g) top-reduction-only)))))202 (t (let ((g (ideal-saturation-1 ring-and-order f (car plist) start top-reduction-only))) 203 (ideal-polysaturation-1 ring-and-order g (rest plist) (length g) top-reduction-only))))) 204 204 205 205 (defun ideal-saturation (ring-and-order f g start &optional (top-reduction-only $poly_top_reduction_only)
Note:
See TracChangeset
for help on using the changeset viewer.