Computation of Bivariate Dimension Polynomials of Finitely Generated D-Modules Using Maple
نویسندگان
چکیده
In this paper we present an implementation for computing bivariate dimension polynomials of finitely generated modules over a Weyl algebra in Maple. We recall some basic results in order to explain the notion of dimension polynomials and to introduce methods for their computation based on Gröbner basis techniques. We explain input options for the mentioned implementations and provide several examples.
منابع مشابه
BIVARIATE DIFFERENCE-DIFFERENTIAL DIMENSION POLYNOMIALS AND THEIR COMPUTATION IN Maple
We present the Maple implementations of two algorithms developed by M. Zhou and F. Winkler for computing a relative Gröbner basis of a finitely generated difference-differential module and we use this to compute the bivariate difference-differential dimension polyomial of the module with respect to the natural bifiltration of the ring of difference-differential operators. An overview regarding ...
متن کاملStandard Bases in Finitely Generated Difference-Skew-Differential Modules and Their Application to Dimension Polynomials
This thesis treats different kinds of standard bases in finitely generated modules over the ring of difference-skew-differential operators, their computation and their application to the computation of multivariate dimension (quasi-)polynomials. It consists of two parts. The first deals with standard bases in modules over the ring of difference-skew-differential operators. The second part deals...
متن کاملA characterization of finitely generated multiplication modules
Let $R$ be a commutative ring with identity and $M$ be a finitely generated unital $R$-module. In this paper, first we give necessary and sufficient conditions that a finitely generated module to be a multiplication module. Moreover, we investigate some conditions which imply that the module $M$ is the direct sum of some cyclic modules and free modules. Then some properties of Fitting ideals o...
متن کاملMULTIPLICATION MODULES THAT ARE FINITELY GENERATED
Let $R$ be a commutative ring with identity and $M$ be a unitary $R$-module. An $R$-module $M$ is called a multiplication module if for every submodule $N$ of $M$ there exists an ideal $I$ of $R$ such that $N = IM$. It is shown that over a Noetherian domain $R$ with dim$(R)leq 1$, multiplication modules are precisely cyclic or isomorphic to an invertible ideal of $R$. Moreover, we give a charac...
متن کاملOn the Associated Primes of the generalized $d$-Local Cohomology Modules
The first part of the paper is concerned to relationship between the sets of associated primes of the generalized $d$-local cohomology modules and the ordinary generalized local cohomology modules. Assume that $R$ is a commutative Noetherian local ring, $M$ and $N$ are finitely generated $R$-modules and $d, t$ are two integers. We prove that $Ass H^t_d(M,N)=bigcup_{Iin Phi} Ass H^t_I(M,N)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012