Core Concepts
This paper presents algorithms for efficiently processing and analyzing hypergeometric-type sequences, including computing holonomic recurrence equations and performing Hadamard product operations.
Abstract
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.
Stats
The paper does not contain any explicit numerical data or statistics. The focus is on the algorithmic aspects of working with hypergeometric-type sequences.
Quotes
The paper does not contain any notable quotes.