Identities
Recurrence identities
Consecutive neighbors
For Phi(z,s,a)
For Phi^(z,s,a)
Distant neighbors
Functional identities
Major general cases