|
7.5.2.0. checkFactor
Procedure from library dmod.lib (see dmod_lib).
- Usage:
- checkFactor(I,f,qs [,eng]); I an ideal, f a poly, qs a poly, eng an optional int
- Assume:
- I is the output of Sannfs, SannfsBM, SannfsLOT or SannfsOT,
f is a polynomial in K[_x], qs is a polynomial in K[s]
- Return:
- int, 1 if qs is a factor of the global Bernstein polynomial of f and 0 otherwise
- Purpose:
- check whether a rational is a root of the global Bernstein polynomial of f and compute its multiplicity from the known Ann F^s in D[s]
- Note:
- If eng <>0,
std is used for Groebner basis computations,
otherwise (and by default) slimgb is used.
If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
| LIB "dmod.lib";
ring r = 0,(x,y),Dp;
poly F = x^4+y^5+x*y^4;
printlevel = 0;
def A = Sannfs(F);
setring A;
poly F = imap(r,F);
checkFactor(LD,F,20*s+31); // -31/20 is not a root of bs
==> 0
checkFactor(LD,F,20*s+11); // -11/20 is a root of bs
==> 1
checkFactor(LD,F,(20*s+11)^2); // the multiplicity of -11/20 is 1
==> 0
|
|