Petkovšek's algorithm: Difference between revisions

Content deleted Content added
m task, replaced: Proc. Natl. Acad. Sci → Proc. Natl. Acad. Sci. using AWB
m Gosper-Petkovšek representation: fix and link journal name
Line 12:
#<math display="inline">\gcd ( b(n), c(n+1))=1</math>.
 
This representation of <math display="inline">r(n)</math> is called Gosper-Petkovšek normal form. These polynomials can be computed explicitly. This construction of the representation is an essential part of [[Gosper's algorithm]].<ref>{{Cite journal |last=Gosper |first=R. William |date=1978 |title=Decision procedure for indefinite hypergeometric summation |url=https://pdfs.semanticscholar.org/c66e/0beca13f866f748971d18bd39ebdc2b88751.pdf |journal=[[Proc. Natl. Acad. Sci. USA]] |volume=75 |pages=40–42|via=}}</ref> Petkovšek added the conditions 2. and 3. of this representation which makes this normal form unique.<ref name=":0" />
 
== Algorithm ==