paramBpoly(RingElement,String) -- compute the list of all possible Bernstein-Sato polynomials for a polynomial with parametric coefficients

Synopsis

• Usage:

  paramBpoly(f,filename)

• Function: paramBpoly
• Inputs:

  • f, a ring element, a polynomial in Weyl algebra A_n(Q)
  • filename, a string, the base name for the output files
• Optional inputs:

  • GroundField => ..., -- characteristic for modular computation
• Outputs:

  • a list, all possible Bernstein-Sato polynomials

Description

i1 : A =  (QQ [a,b,c]) [x, y, Dx, Dy, WeylAlgebra => {x=>Dx, y=>Dy}]

o1 = A

o1 : PolynomialRing

i2 : paramBpoly(a*x^2 + b*x*y + c*y^2, "quadratic")

             2              1
o2 = {(S + 1) , (S + 1)(S + -)}
                            2

o2 : List

Caveat

See also

• globalBFunction -- global b-function (else known as the Bernstein-Sato polynomial)