  We consider linear recurrences with polynomial coefficients of Poincar\'e
type and with a unique simple dominant eigenvalue. We give an algorithm that
proves or disproves positivity of solutions provided the initial conditions
satisfy a precisely defined genericity condition. For positive sequences, the
algorithm produces a certificate of positivity that is a data-structure for a
proof by induction. This induction works by showing that an explicitly computed
cone is contracted by the iteration of the recurrence.
