Maple can't find linear recurrence
From
Peter Luschny@21:1/5 to
All on Mon Oct 9 08:20:51 2017
restart: with(gfun):
L := [1,2,5,8,13,18,25,31,41,49,61,71,85,97,113,126, 145,160,181,198,221,240,265,285,313,335,365,389,421, 447,481,508,545,574,613,644,685,718]:
rec := listtorec(L, u(n));
# Maple fails immediately, although there is a linear recurrence:
recS := {-a(n)+2*a(n+2)-a(n+4)+a(n+8)-2*a(n+10)+a(n+12),a(0)=1,a(1)=2,a(2)=5, a(3)=8,a(4)=13,a(5)=18,a(6)=25,a(7)=31,a(8)=41,a(9)=49,a(10)=61,a(11)=71};
r := rectoproc(recS, a(n), remember):
seq(r(n), n=0..150);
# I found this recurrence of order 12 'by hand'. Mathematica's
# FindLinearRecurrence found this recurrence of order 11 from
# the same data:
# LinearRecurrence[ {1,1,-1,0,0,0,0,1,-1,-1,1} ,
# {1, 2, 5, 8, 13, 18, 25, 31, 41, 49, 61}, 150]
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
From
G. A. Edgar@21:1/5 to
Peter Luschny on Thu Oct 12 04:33:55 2017
In article <
[email protected]>,
Peter Luschny <
[email protected]> wrote:
L := [1,2,5,8,13,18,25,31,41,49,61,71,85,97,113,126, 145,160,181,198,221,240,265,285,313,335,365,389,421, 447,481,508,545,574,613,644,685,718]:
rec := listtorec(L, u(n));
Maple 2015.2
L := [1,2,5,8,13,18,25,31,41,49,61,71,85,97,113,126, 145,160,181,198,221,240,265,285,313,335,365,389,421, 447,481,508,545,574,613,644,685,718]:
rec := gfun[listtorec](L, u(n));
rec := [{-u(n) + u(n + 1) + u(n + 2) - u(n + 3) + u(n + 8)
- u(n + 9) - u(n + 10) + u(n + 11), u(0) = 1, u(1) = 2,
u(2) = 5, u(3) = 8, u(4) = 13, u(5) = 18, u(6) = 25, u(7) = 31,
u(8) = 41, u(9) = 49, u(10) = 61}, ogf]
--
G. A. Edgar
http://www.math.ohio-state.edu/~edgar/
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)