Top
Back: SDLoc
Forward: GBWeight
FastBack: dmod_lib
FastForward: dmodvar_lib
Up: dmodapp_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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:
 


Top Back: SDLoc Forward: GBWeight FastBack: dmod_lib FastForward: dmodvar_lib Up: dmodapp_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.