|
D.4.5.11 localize
Procedure from library ehv.lib (see ehv_lib).
- Usage:
- localize(I,P,l); I ideal, P an associated prime ideal of I,
l list of all associated primes of I
- Return:
- ideal, the contraction of the ideal generated by I
in the localization w.r.t P
|