Description
The strategy option value should be one of the following.

0  Uses the algorithm of EisenbudHunekeVasconcelos

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 EisenbudHunekeVasconcelos, Invent. Math. 110 (1992) 207235.
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 ShimoyamaYokoyama, J. Symbolic computation, 22(3) 247277 (1996).
Strategy => 2
This is the same as
Strategy => 1 except that, if unknown, the assassinator is computer using
associatedPrimes(..., Strategy => ...) = 2.