Next: gkz
Up: Macros in libraries
Previous: genericAnn
[f v] genericAnnWithL [b [L I]]
String f,v; poly b,L; array of poly I;
f is a polynomial given by a string. v is the variables.
v must not contain names s, e.
b is the b-function (Bernstein-Sato polynomial) for f and
L is the operator satisfying L f^{s+1} = b(s) f^s
I is the annihilating ideal of f^s.
cf. bfunction, annfs, genericAnn.
Example 1: [(x^2+y^2) (x,y)] genericAnnWithL ::
Example 2: [(x^2+y^2+z^2) (x,y,z)] genericAnnWithL ::
Example 3: [(x^3-y^2 z^2) (x,y,z)] genericAnnWithL ::
Nobuki Takayama
平成13年8月23日