KoepfGosper - Maple Help

SumTools[Hypergeometric]

 KoepfGosper
 indefinite summation of j-fold hypergeometric terms Calling Sequence KoepfGosper(T, n) Parameters

 T - hypergeometric term in n n - name; specifies summation index Description

 • The KoepfGosper(T, n) command solves the problem of indefinite summation of j-fold hypergeometric terms, that is, for the input j-fold hypergeometric term T of n, it constructs a function $G$ which is a sum of hypergeometric terms of n such that $T\left(n\right)=G\left(n+1\right)-G\left(n\right)$, provided that such a $G$ exists. Otherwise, the function returns the error message no solution found''.
 • The parameter T is a j-fold hypergeometric term in n if $\frac{T\left(n+j\right)}{T\left(n\right)}$ is a rational function in n. Examples

 > $\mathrm{with}\left(\mathrm{SumTools}\left[\mathrm{Hypergeometric}\right]\right):$
 > $T≔n\left(\frac{n}{2}\right)!$
 ${T}{≔}{n}{}\left(\frac{{n}}{{2}}\right){!}$ (1)
 > $\mathrm{KoepfGosper}\left(T,n\right)$
 ${2}{}\left(\frac{{n}}{{2}}\right){!}{+}{2}{}\left(\frac{{n}}{{2}}{+}\frac{{1}}{{2}}\right){!}$ (2)
 > $\mathrm{IsHypergeometricTerm}\left(T,n\right)$
 ${\mathrm{false}}$ (3)

Note that T is not a hypergeometric term in n. Hence, Gosper's algorithm is not applicable to T. References

 Koepf, W. "Algorithms for m-fold Hypergeometric Summation." Journal of Symbolic Computation. Vol. 20 No. 4. (1995): 399-417.
 Koepf, W. Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities. Braunschweig, Germany: Vieweg, 1998.
{"ft_lang_label":"__label__en","ft_lang_prob":0.72746766,"math_prob":0.99964905,"size":1313,"snap":"2022-27-2022-33","text_gpt3_token_len":412,"char_repetition_ratio":0.19862491,"word_repetition_ratio":0.011494253,"special_character_ratio":0.21172887,"punctuation_ratio":0.15322581,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9990283,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-08-15T19:53:06Z\",\"WARC-Record-ID\":\"<urn:uuid:9ed06ac5-8b3f-4841-a76a-53efe2757d2b>\",\"Content-Length\":\"173261\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:9574f535-db36-4d0f-9a72-22ea46bfaaf9>\",\"WARC-Concurrent-To\":\"<urn:uuid:4f9cf6d4-7485-45ac-8ebf-59af008d54a8>\",\"WARC-IP-Address\":\"199.71.183.28\",\"WARC-Target-URI\":\"https://de.maplesoft.com/support/help/maplesim/view.aspx?path=SumTools%2FHypergeometric%2FKoepfGosper\",\"WARC-Payload-Digest\":\"sha1:H6JNOITQKKG3EXVPK4SDYQT2DQZGX7LN\",\"WARC-Block-Digest\":\"sha1:3WWQXMKBQCEOGWMH2XRD3CKPZWK6BWXV\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-33/CC-MAIN-2022-33_segments_1659882572198.93_warc_CC-MAIN-20220815175725-20220815205725-00235.warc.gz\"}"}