- Timestamp:
- 2015-06-12T12:00:58-07:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r1436 r1470 167 167 168 168 ;; Calculate F : p^inf 169 (defun ideal-saturation-1 (ring-and-order f p start169 (defun ideal-saturation-1 (ring-and-order f p 170 170 &optional 171 (start 0) 171 172 (top-reduction-only $poly_top_reduction_only)) 172 173 "Returns the reduced Grobner basis of the saturation of the ideal
Note:
See TracChangeset
for help on using the changeset viewer.