|  |  7.5.7.0. bfctVarAnn Procedure from librarydmodvar.lib(see  dmodvar_lib).
 
Example:Usage:
bfctVarAnn(F[,gid,eng]); F an ideal, gid,eng optional ints
Return:
list of an ideal and an intvec
Purpose:
computes the roots of the Bernstein-Sato polynomial and their multiplicities
for an affine algebraic variety defined by F = F[1],..,F[r].
Assume:
The basering is commutative and over a field in char 0.
Note:
In the output list, the ideal contains all the roots and
the intvec their multiplicities.
If gid<>0, the ideal is used as given. Otherwise, and by default, a
heuristically better suited generating set is used.
 If eng<>0,
 stdis used for GB computations,
otherwise, and by default,slimgbis used.Computational remark: The time of computation can be very different depending
on the chosen generators of F, although the result is always the same.
 Further note that in this proc, the annihilator of f^s in D[s] is computed and
then a system of linear equations is solved by linear reductions in order to
find the minimal polynomial of S = s(1)(1) + ... + s(P)(P).
The resulted is shifted by 1-codim(Var(F)) following (BMS06).
 
Display:
If printlevel=1, progress debug messages will be printed,
if printlevel=2, all the debug messages will be printed.
 
 |  | LIB "dmodvar.lib";
ring R = 0,(x,y,z),Dp;
ideal F = x^2+y^3, z;
bfctVarAnn(F);
==> [1]:
==>    _[1]=-5/6
==>    _[2]=-1
==>    _[3]=-7/6
==> [2]:
==>    1,1,1
 | 
 
 |