Computes the multiplier ideal for given ideal and coefficient.
There are three options for
Strategy:
- ViaElimination -- the default;
- ViaLinearAlgebra -- skips one expensive elimination step by using linear algebra;
- ViaColonIdeal -- same as elimination, but may be slightly faster.
The option
DegreeLimit specifies the maximal degree of polynomials to consider for membership in the multiplier ideal.See
Berkesch and Leykin ``Algorithms for Bernstein-Sato polynomials and multiplier ideals'' for details.
R = QQ[x_1..x_4]; |
multiplierIdeal(ideal {x_1^3 - x_2^2, x_2^3 - x_3^2}, 31/18) |