|
7.7.4.0. DLoc
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- DLoc(I, f); I an ideal, f a poly
- Return:
- list of ideal and list
- 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 output list L,
- L[1] is an ideal (given as Groebner basis), the presentation of the
localization,
- L[2] is a list containing 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:
|