𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computations in differential and difference modules

✍ Scribed by E. V. Pankrat'ev

Book ID
104622271
Publisher
Springer Netherlands
Year
1989
Tongue
English
Weight
906 KB
Volume
16
Category
Article
ISSN
0167-8019

No coin nor oath required. For personal study only.

✦ Synopsis

Constructive methods based on the Gr6bner bases theory have been used many times in commutative algebra over the past 20 years, in particular, they allow the computation of such important invariants of manifolds given by systems of algebraic equations as their Hilbert polynomials. In differential and difference algebra, the analogous roles play characteristic sets.

In this paper, algorithms for computations in differential and difference modules, which allow for the computation of characteristic sets (Gr6bner bases) in differential, difference, and polynomial modules and differential (difference) dimension polynomials, are described. The algorithms are implemented in the algorithmic language REFAL.

📜 SIMILAR VOLUMES

Reduced Gröbner Bases, Free Difference–D
Reduced Gröbner Bases, Free Difference–Differential Modules and Difference–Differential Dimension Polynomials
✍ Alexander Levin 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 442 KB

We define a special type of reduction in a free left module over a ring of differencedifferential operators and use the idea of the Gröbner basis method to develop a technique that allows us to determine the Hilbert function of a finitely generated differencedifferential module equipped with the nat

Homological Computations in PBW Modules
Homological Computations in PBW Modules
✍ José L. Bueso; J. Gómez-Torrecillas; F.J. Lobillo 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 151 KB
Computing with Differential-difference O
Computing with Differential-difference Operators
✍ Charles F. Dunkl 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 268 KB

Computer algebra can be used to prove identities in the algebra of operators on polynomials which is generated by multiplication by coordinate functions, and the group translations and Dunkl operators associated with a reflection group. This technique is illustrated by a conceptual proof of a comple