The strategy option value should be one of the following.
- 0 -- Uses the algorithm of Eisenbud-Huneke-Vasconcelos
- 1 -- Uses a separator to find the localization
The default strategy is 1.
Strategy => 0
This strategy does not require the calculation of the assassinator, but can require the computation of high powers of ideals. The method appears in Eisenbud-Huneke-Vasconcelos, Invent. Math. 110 (1992) 207-235.
Strategy => 1
This strategy uses a separator polynomial - a polynomial in all of the associated primes of
I but
P and those contained in
P. In this strategy, the assassinator of the ideal will be recalled, or recomputed using
associatedPrimes(..., Strategy => ...) = 1, if unknown. The separator polynomial method is described in Shimoyama-Yokoyama, J. Symbolic computation, 22(3) 247-277 (1996).
Strategy => 2
This is the same as
Strategy => 1 except that, if unknown, the assassinator is computer using
associatedPrimes(..., Strategy => ...) = 2.