This is great stuff, thanks for sharing. Currently working through an algorithms class at CMU, and I haven’t yet encountered the idea of a recurrence “annihilator”. Cheers :)