Linear_recurrence_relation loading ...