تعداد نشریات | 161 |
تعداد شمارهها | 6,573 |
تعداد مقالات | 71,036 |
تعداد مشاهده مقاله | 125,507,242 |
تعداد دریافت فایل اصل مقاله | 98,771,045 |
A variant of van Hoeij's algorithm to compute hypergeometric term solutions of holonomic recurrence equations | ||
Journal of Algorithms and Computation | ||
دوره 53، شماره 2، اسفند 2021، صفحه 1-32 اصل مقاله (499.29 K) | ||
نوع مقاله: Research Paper | ||
شناسه دیجیتال (DOI): 10.22059/jac.2021.85170 | ||
نویسنده | ||
Bertrand Teguia Tabuguia* | ||
Department of Mathematics and Natural Sciences, University of Kassel, Heinrich-Plett-Str. 40., Kassel, Germany | ||
چکیده | ||
Linear and homogeneous recurrence equations having polynomial coefficients are said to be holonomic. These equations are useful for proving and discovering combinatorial and hypergeometric identities. Given a field $\mathbb{K}$ of characteristic zero, $a_n$ is a hypergeometric term with respect to $\mathbb{K}$, if the ratio $a_{n+1}/a_n$ is a rational function over $\mathbb{K}$. Two algorithms by Marko Petkov\v{s}ek (1993) and Mark van Hoeij (1999) were proposed to compute hypergeometric term solutions of holonomic recurrence equations. The latter algorithm is more efficient and was implemented by its author in the Computer Algebra System (CAS) Maple through the command \texttt{LREtools[hypergeomsols]}. We describe a variant of van Hoeij's algorithm that performs with the same efficiency without considering certain recommendations of the original version. We implemented our algorithm in the CASes Maxima and Maple. It also appears for some particular cases that our code finds results where \texttt{LREtools[hypergeomsols]} fails. Our implementation is part of the \texttt{FPS} software which can be downloaded at \url{http://www.mathematik.uni-kassel.de/~bteguia/FPS_webpage/FPS.htm}. The command is \texttt{HypervanHoeij} for Maxima 5.44 and \texttt{rectohyperterm} for Maple 2021. | ||
آمار تعداد مشاهده مقاله: 319 تعداد دریافت فایل اصل مقاله: 255 |