本論文では、ハイパーゲオメトリック型シーケンスの線形結合から成る環を定義している。この環は、ホロノミックシーケンスの環の部分環である。
まず、m-fold指標シーケンスの概念を導入し、それらの線形結合からなるハイパーゲオメトリック型シーケンスを定義している。
次に、2つのアルゴリズムを提案している。
1つ目のアルゴリズムは、ハイパーゲオメトリック型の正規形からホロノミック漸化式を計算するものである。この計算は、まず各m-fold指標シーケンスの係数について個別にホロノミック漸化式を求め、それらを組み合わせることで全体のホロノミック漸化式を得るというものである。
2つ目のアルゴリズムは、ハイパーゲオメトリック型項の積を計算するものである。これは、m-fold指標項同士の積の性質を利用して実現されている。
最後に、これらのアルゴリズムを実装したMapleパッケージ"HyperTypeSeq"について説明している。
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Bertrand Teg... lúc arxiv.org 04-17-2024
https://arxiv.org/pdf/2404.10143.pdfYêu cầu sâu hơn