Talk:Constant-recursive sequence: Difference between revisions

Revision as of 01:06, 8 November 2021

Revision as of 01:07, 8 November 2021

Line 17:

:: Good point. I checked The Concrete Tetrahedron (by Kauers and Paule), and they do require <math>c_d \ne 0</math>. This is artificial from the perspective of generating series because then the characterization as rational series needs an extra requirement on the degree of the numerator. But on the other hand it does fix the characterization as exponential polynomials. [[User:Eric Rowland|Eric Rowland]] ([[User talk:Eric Rowland|talk]]) 00:47, 8 November 2021 (UTC)

::: Thanks for looking into another reference! My preference would then be to have <math>c_d \ne 0</math>. <s>Three</s> Two other justifications for that criterion: (i) it implies that <math>d</math> (the order of the sequence) is unique, (ii) it allows the sequence to be uniquely extended in the negative direction as well, (iiiii) it's implied by the "alternate definition" under "Definition" in the article, namely "the set of sequences <math>\{s(n + r)_{n \geq 0} : r \geq 0\}</math> is contained in a [[vector space]] whose dimension is finite." For <math>1, 0, 0, 0, ...</math> we get the set of all finite-support sequences, which is infinite-dimensional. [[User:Caleb Stanford|Caleb Stanford]] ([[User talk:Caleb Stanford|talk]]) 01:06, 8 November 2021 (UTC)