Abstract | ||
---|---|---|
The Bernstein--Sato polynomial (or global b-function) is an important invariant in singularity theory, which can be computed using symbolic methods in the theory of D-modules. After providing a survey of known algorithms for computing the global b-function, we develop a new method to compute the local b-function for a single polynomial. We then develop algorithms that compute generalized Bernstein--Sato polynomials of Budur--Mustaţă--Saito and Shibuta for an arbitrary polynomial ideal. These lead to computations of log canonical thresholds, jumping coefficients, and multiplier ideals. Our algorithm for multiplier ideals simplifies that of Shibuta and shares a common subroutine with our local b-function algorithm. The algorithms we present have been implemented in the D-modules package of the computer algebra system Macaulay2. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1145/1837934.1837958 | ISSAC |
Keywords | Field | DocType |
single polynomial,multiplier ideals simplifies,known algorithm,local b-function,multiplier ideal,arbitrary polynomial ideal,local b-function algorithm,d-modules package,global b-function,sato polynomial | Polynomial,Singularity theory,Symbolic computation,Multiplier (economics),Reciprocal polynomial,Discrete mathematics,Combinatorics,Bernstein–Sato polynomial,Algebra,Square-free polynomial,Algorithm,Invariant (mathematics),Mathematics | Conference |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christine Berkesch | 1 | 0 | 0.34 |
Anton Leykin | 2 | 173 | 18.99 |