SKOLEM: Solves the Skolem Problem for simple integer LRS

System Explanation

  • On the first line write the coefficients of the recurrence relation, separated by spaces.
  • On the second line write an equal number of space-separated initial values.
  • The LRS must be simple, non-degenerate, and not the zero LRS.
  • The tool will output all zeros (at both positive and negative indices), along with a completeness certificate.

Input Format

a1 a2 ... ak
u0 u1 ... uk-1

un+k = a1·un+k-1 + a2·un+k-2 + ... + ak·un

Input area

Auto-fill examples:
LRS input:

Output area

Baker-Davenport result


Leapfrogging result