As above, it's now in test_rsolve_hyper():
assert rsolve_hyper([-a, 0, 1],0,n).expand() == (-1)**n*C1*a**(n/2) + C0*a**(n/2)