next up previous
: gkz : Macros in libraries : 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 平成17年2月10日