|
7.7.4.0. SDLoc
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- SDLoc(I, f); I an ideal, f a poly
- Return:
- ring (basering extended by a new variable) containing an ideal 'LD'
- Purpose:
- compute a generic presentation of the localization of D/I w.r.t. f^s
- Assume:
- the basering D is a Weyl algebra over a field of characteristic 0
- Note:
- Activate this ring with the
setring command. In this ring,
the ideal LD (given as Groebner basis) is the presentation of the
localization.
- Display:
- If printlevel =1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
|