Bivariate difference-differential dimension polynomials and their computation in Maple

Christian Eckhardt Karl-H Dönch

Research output: Working paper and reportsPreprint

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 languageEnglish
Place of PublicationSchloss Hagenberg, 4232 Hagenberg
PublisherRISC, JKU Linz
Number of pages29
Publication statusPublished - 2009

Publication series

NameRISC 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

Cite this