Identities
Recurrence identities
Consecutive neighbors
Distant neighbors
Functional identities
Relations between contiguous functions
Expansion with respect to parameters
Additional relations between contiguous functions