|
7.7.4.0. DLoc0
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- DLoc0(I, f); I an ideal, f a poly
- Return:
- ring (a Weyl algebra) containing an ideal 'LD0' and a list 'BS'
- Purpose:
- compute the presentation of the localization of D/I w.r.t. f^s,
where D is a Weyl Algebra, based on the output of procedure SDLoc
- Assume:
- the basering is similar to the output ring of SDLoc procedure
- Note:
- activate the output ring with the
setring command. In this ring,
- the ideal LD0 (given as Groebner basis) is the presentation of the
localization,
- the list BS contains roots and 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:
|