- Timestamp:
- 2015-06-12T16:25:27-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r1528 r1588 211 211 (top-reduction-only $poly_top_reduction_only) 212 212 &aux 213 (k (length g))) 213 (k (length g)) 214 (ring (ro-ring ring-and-order))) 214 215 "Returns the reduced Grobner basis of the saturation of the ideal 215 216 generated by a polynomial list F in the ideal generated a polynomial … … 224 225 (ring-intersection 225 226 (reduced-grobner ring-and-order 226 (polysaturation-extension ring -and-orderf g)227 (polysaturation-extension ring f g) 227 228 start 228 229 top-reduction-only)
Note:
See TracChangeset
for help on using the changeset viewer.