The IsSolution(sol,eq,var) calling sequence returns true if eq is a linear q-difference equation with polynomial coefficients (or a system of such equations) and sol is its solution. Otherwise, false is returned for q-hypergeometric solution (that is, if 'certificates' option is specified) and the degree of the result of substitution is returned for other types of solutions to be checked.

The IsSolution command substitutes sol for the function variables and checks the result.

The AreSameSolution(sol, sol1, x) calling sequence returns true if the solutions sol and sol1 are equivalent. Otherwise, false is returned.

The command checks that the numbers of linear independent solutions in sol and sol1 are the same, as well as the degrees in x.