Characteristic polynomial of a linear recurrence (source code)

= Characteristic polynomial of a linear recurrence