|
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:
|