Changeset 1510
- Timestamp:
- 2015-06-12T13:06:26-07:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/ideal.lisp
r1491 r1510 176 176 generated by a polynomial list F in the ideal generated by a single 177 177 polynomial P. The saturation ideal is defined as the set of 178 polynomials H such for some natural number n (* (EXPT P N) H) is in the ideal179 F. Geometrically, over an algebraically closed field, this is the set 180 of polynomials in the ideal generated by F which do not identically 181 vanish on the variety of P."178 polynomials H such for some natural number n (* (EXPT P N) H) is in 179 the ideal spanned by F. Geometrically, over an algebraically closed 180 field, this is the set of polynomials in the ideal generated by F 181 which do not identically vanish on the variety of P." 182 182 (declare (type ring-and-order ring-and-order)) 183 183 (mapcar
Note:
See TracChangeset
for help on using the changeset viewer.