|
7.7.4.0. DLoc
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- DLoc(I, F); I an ideal, F a poly
- Return:
- nothing (exports objects instead)
- Assume:
- the basering is a Weyl algebra
- Purpose:
- compute the presentation of the localization of D/I w.r.t. f^s
- Note:
- In the basering, the following objects are exported:
the ideal LD0 (in Groebner basis) is the presentation of the localization
the list BS contains roots with multiplicities of Bernstein polynomial of (D/I)_f.
- Display:
- If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
| LIB "dmodapp.lib";
ring r = 0,(x,y,Dx,Dy),dp;
def R = Weyl(); setring R; // Weyl algebra in variables x,y,Dx,Dy
poly F = x2-y3;
ideal I = (y^3 - x^2)*Dx - 2*x, (y^3 - x^2)*Dy + 3*y^2; // I = Dx*F, Dy*F;
// I is not holonomic, since its dimension is not 4/2=2
gkdim(I);
==> 3
DLoc(I, x2-y3); // exports LD0 and BS
LD0; // localized module (R/I)_f is isomorphic to R/LD0
==> LD0[1]=3*x*Dx+2*y*Dy+12
==> LD0[2]=3*y^2*Dx+2*x*Dy
==> LD0[3]=y^3*Dy-x^2*Dy+6*y^2
BS; // description of b-function for localization
==> [1]:
==> _[1]=0
==> _[2]=-1/6
==> _[3]=1/6
==> [2]:
==> 1,1,1
|
|