Polynomial solution of recurrence relation and differential equation

We propose a REDUCE implementation of the SHORE compatibility criterion between recurrence relation and second order linear homogenous differential equation both satisfied by orthogonal polynomials. We discuss some different strategies developed around the symbolic matrix triangularization in the light of meaningful classical and semi-classical cases.