sol

-

solution to be checked

r

-

hypergeometric term in the solution sol; specified as a list consisting of the name representing the term in the equation and in the solution and the certificate of the term, such as [t, n+1]

eq

-

difference equation depending on a hypergeometric term

var

-

function variable for which to solve, such as y(x)

sol1

-

solution against which sol is compared

r1

-

hypergeometric term in the solution sol1; specified as a list consisting of the name representing the term in the equation and in the solution and the certificate of the term, such as [t, n+1]

n

-

independent variable