P

-

polynomial in n and u1(n), u2(n), ... and possibly their shifts (u1(n+1), u2(n+1), ...) and repeated shifts

listrec

-

list containing, for each of u1(n), u2(n), ..., either a linear recurrence equation it satisfies or a set containing the equation together with initial conditions

list_unknowns

-

list of sequences  

u

-

name; holonomic sequence name

n

-

name; variable of the holonomic sequence u