Abstract
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 affine Hilbert polynomials, Kolchin's differential dimension polynomials and difference-differential dimension polynomials is given. Then the notion of relative Gröbner basis and its use for computing bivariate difference-differential dimension polynomials is explained. After this the implementations of the two algorithms are illustrated by a couple of examples.
Original language | English |
---|---|
Place of Publication | Schloss Hagenberg, 4232 Hagenberg |
Publisher | RISC, JKU Linz |
Number of pages | 29 |
Publication status | Published - 2009 |
Publication series
Name | RISC Report Series |
---|---|
No. | 09-19 |
Fields of science
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics