SKOLEM Tool

Solver for the Skolem Problem on 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 non-degenerate, and not the zero LRS. Leapfrogging only supports simple LRS.
  • Choose the algorithm(s) and option(s) you wish to run on the given LRS.

Input Format

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

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

Input area

LRS input:

Choose Algorithm


Output area

Baker-Davenport result



               

p-adic result



               

Leapfrogging result