Changeset 1519
- Timestamp:
- 2015-06-12T13:25:45-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r1512 r1519 201 201 polynomial list F." 202 202 (cond 203 ((endp plist)204 (reduced-grobner ring-and-order f start top-reduction-only))205 (t (let ((g (ideal-saturation-1 ring-and-order f (car plist) start top-reduction-only)))206 (ideal-polysaturation-1 ring-and-order g (rest plist) (length g) top-reduction-only)))))203 ((endp plist) 204 (reduced-grobner ring-and-order f start top-reduction-only)) 205 (t (let ((g (ideal-saturation-1 ring-and-order f (car plist) start top-reduction-only))) 206 (ideal-polysaturation-1 ring-and-order g (rest plist) (length g) top-reduction-only))))) 207 207 208 208 (defun ideal-saturation (ring-and-order f g … … 211 211 (top-reduction-only $poly_top_reduction_only) 212 212 &aux 213 (k (length g)))213 (k (length g))) 214 214 "Returns the reduced Grobner basis of the saturation of the ideal 215 215 generated by a polynomial list F in the ideal generated a polynomial … … 233 233 (start 0) 234 234 (top-reduction-only $poly_top_reduction_only)) 235 235 "Returns the reduced Grobner basis of the ideal obtained by a 236 236 successive applications of IDEAL-SATURATION to F and lists of 237 237 polynomials in the list IDEAL-LIST." 238 238 (cond 239 ((endp ideal-list) f)240 (t (let ((h (ideal-saturation ring-and-order f (car ideal-list) start top-reduction-only)))241 (ideal-polysaturation ring-and-order h (rest ideal-list) (length h) top-reduction-only)))))239 ((endp ideal-list) f) 240 (t (let ((h (ideal-saturation ring-and-order f (car ideal-list) start top-reduction-only))) 241 (ideal-polysaturation ring-and-order h (rest ideal-list) (length h) top-reduction-only)))))
Note:
See TracChangeset
for help on using the changeset viewer.