> | ### 7.5.7 dmodvar_lib Library: dmodvar.lib Purpose: Algebraic D-modules for varieties Authors: Daniel Andres, daniel.andres@math.rwth-aachen.de Viktor Levandovskyy, levandov@math.rwth-aachen.de Jorge Martin-Morales, jorge@unizar.es Support: DFG Graduiertenkolleg 1632 'Experimentelle und konstruktive Algebra' Overview: Let K be a field of characteristic 0. Given a polynomial ring R = K[x_1,...,x_n] and polynomials f_1,...,f_r in R, define F = f_1*...*f_r and F^s = f_1^s_1*...*f_r^s_r for symbolic discrete (that is shiftable) variables s_1,..., s_r. The module R[1/F]*F^s has the structure of a D<S>-module, where D<S> = D(R) tensored with S over K, where - D(R) is the n-th Weyl algebra K<x_1,...,x_n,d_1,...,d_n | d_j x_j = x_j d_j + 1> - S is the universal enveloping algebra of gl_r, generated by s_i = s_{ii}. One is interested in the following data: - the left ideal Ann F^s in D<S>, usually denoted by LD in the output - global Bernstein polynomial in one variable s = s_1+...+s_r, denoted by bs, - its minimal integer root s0, the list of all roots of bs, which are known to be negative rational numbers, with their multiplicities, which is denoted by BS - an r-tuple of operators in D<S>, denoted by PS, such that the functional equality sum(k=1 to k=r) P_k*f_k*F^s = bs*F^s holds in R[1/F]*F^s. References: (BMS06) Budur, Mustata, Saito: Bernstein-Sato polynomials of arbitrary varieties (2006). (ALM09) Andres, Levandovskyy, Martin-Morales: Principal Intersection and Bernstein-Sato Polynomial of an Affine Variety (2009). Procedures:
> 7.5.7.0. bfctVarIn |  | computes the roots of the Bernstein-Sato polynomial b(s) of the variety V(F) using initial ideal approach
> 7.5.7.0. bfctVarAnn |  | computes the roots of the Bernstein-Sato polynomial b(s) of the variety V(F) using Sannfs approach
> 7.5.7.0. SannfsVar |  | computes the annihilator of F^s in the ring D<S>
> 7.5.7.0. makeMalgrange |  | creates the Malgrange ideal, associated with F = F[1],..,F[P]
See also: bfun_lib; dmod_lib; dmodapp_lib; gmssing_lib.

User manual for Singular version 4.4.0, 2024, generated by texi2html.