next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Dmodules :: localBFunction(RingElement,Ideal)

localBFunction(RingElement,Ideal) -- local b-function (a.k.a. the local Bernstein-Sato polynomial)

Synopsis

Description

Computes the local b-function of f at P, if P is a prime ideal.

i1 : R = QQ[x,y]; f = x^2*(x+y+1); P = ideal(x,y);

o3 : Ideal of R
i4 : b = localBFunction(f,P)

      2   3    1
o4 = s  + -s + -
          2    2

o4 : QQ[s]
i5 : factorBFunction b

                 1
o5 = (s + 1)(s + -)
                 2

o5 : Expression of class Product

Caveat

(feature) If P is not prime, computes the lcm of local b-functions over all primes containing P

See also