The paper introduces the concept of hypergeometric-type sequences, which are a class of sequences that can be expressed as linear combinations of interlaced hypergeometric terms. The author presents two key algorithms:
HolonomicRE: This algorithm computes holonomic recurrence equations for hypergeometric-type sequences. It first finds recurrence equations for the individual hypergeometric terms, then combines them using the P-recursive addition algorithm.
HTSproduct: This algorithm computes the Hadamard (element-wise) product of two hypergeometric-type sequences. It leverages the Chinese Remainder Theorem to efficiently perform the product operation.
The author also describes a Maple software package called HyperTypeSeq, which implements these algorithms and provides additional functionality for working with hypergeometric-type sequences, such as evaluating terms and converting expressions to hypergeometric-type normal form.
The paper includes several examples demonstrating the usage of the HyperTypeSeq package and the capabilities of the presented algorithms. It also discusses the challenges in defining canonical forms for hypergeometric-type sequences and the implications for recognizing equivalent formulas.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Bertrand Teg... at arxiv.org 04-17-2024
https://arxiv.org/pdf/2404.10143.pdfDeeper Inquiries