Computing with Hypergeometric-Type Terms
Abstract
Take a multiplicative monoid of sequences in which the multiplication is given by Hadamard product. The set of linear combinations of interleaving monoid elements then yields a ring. We consider such a construction for the monoid of hypergeometric sequences, yielding what we call the ring of hypergeometric-type sequences -- a subring of the ring of holonomic sequences. We present two algorithms in this setting: one for computing holonomic recurrence equations from hypergeometric-type normal forms and the other for finding products of hypergeometric-type terms. These are newly implemented commands in our Maple package $\texttt{HyperTypeSeq}$, which we also describe.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2024
- DOI:
- 10.48550/arXiv.2404.10143
- arXiv:
- arXiv:2404.10143
- Bibcode:
- 2024arXiv240410143T
- Keywords:
-
- Computer Science - Symbolic Computation;
- Computer Science - Discrete Mathematics;
- Computer Science - Mathematical Software;
- 33F10;
- 39A06 (Primary);
- 68R01;
- 05A19 (Secondary);
- I.1.1;
- I.1.2;
- G.2.1;
- G.4
- E-Print:
- Completing reference [13]