Procedure from library gmssing.lib (see gmssing_lib).
Usage:
bernstein(t); poly t
Assume:
characteristic 0; local degree ordering;
isolated critical point 0 of t
Return:
list bs; Bernstein-Sato polynomial b(s) of t
ideal bs[1];
number bs[1][i]; i-th root of b(s)
intvec bs[2];
int bs[2][i]; multiplicity of i-th root of b(s)