Computes the jumping coefficients and their multiplier ideals in an open interval (a,b). By default a = 0, b = analyticSpread I. The options are passed to multiplierIDeal (missing documentation).
See Berkesch and Leykin ``Algorithms for Bernstein-Sato polynomials and multiplier ideals'' for details.R = QQ[x_1..x_4]; |
jumpingCoefficients ideal {x_1^3 - x_2^2, x_2^3 - x_3^2} |