Top
Back: bfctVarAnn
Forward: makeMalgrange
FastBack: dmodapp_lib
FastForward: fpadim_lib
Up: dmodvar_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.5.0. SannfsVar
Procedure from library dmodvar.lib (see dmodvar_lib).

Usage:
SannfsVar(F [,ORD,eng]); F an ideal, ORD an optional string, eng an optional int

Return:
ring (Weyl algebra tensored with U(gl_P)), containing an ideal LD

Purpose:
compute the D<S>-module structure of D<S>*f^s where f = F[1]*...*F[P] and D<S> is the Weyl algebra D tensored with K<S>=U(gl_P), according to the generalized algorithm by Briancon and Maisonobe for affine varieties

Assume:
The basering is commutative and over a field of characteristic 0.

Note:
Activate the output ring D<S> with the setring command. In the ring D<S>, the ideal LD is the needed D<S>-module structure.
The value of ORD must be an elimination ordering in D<Dt,S> for Dt written in the string form, otherwise the result may have no meaning. By default ORD = '(a(1..(P)..1),a(1..(P+P^2)..1),dp)'.
If eng<>0, std is used for Groebner basis computations, otherwise, and by default slimgb is used.

Display:
If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.

Example:
 


Top Back: bfctVarAnn Forward: makeMalgrange FastBack: dmodapp_lib FastForward: fpadim_lib Up: dmodvar_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.