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 |