Changeset 1392
- Timestamp:
- 2015-06-11T23:11:32-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r1391 r1392 168 168 169 169 ;; Calculate F : p^inf 170 (defun ideal-saturation-1 (ring-and-order f p start &optional (top-reduction-only $poly_top_reduction_only)) 170 (defun ideal-saturation-1 (ring-and-order f p start 171 &optional 172 (top-reduction-only $poly_top_reduction_only)) 171 173 "Returns the reduced Grobner basis of the saturation of the ideal 172 174 generated by a polynomial list F in the ideal generated by a single … … 176 178 of polynomials in the ideal generated by F which do not identically 177 179 vanish on the variety of P." 180 (declare (type ring-and-order ring-and-order)) 178 181 (mapcar 179 182 #'poly-contract
Note:
See TracChangeset
for help on using the changeset viewer.