next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
PrimaryDecomposition > localize(..., Strategy => ...)

localize(..., Strategy => ...)

Description

The strategy option value should be one of the following. 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.

Further information