I've fixed the known problems with pochhammer (defined in orthopoly),
and I converted it to a simplifying function.
There is code in conjugate & asum that references pochhammer. Would
it be OK to move the pochhammer code into asum.lisp? Since genfact
generalizes pochhammer, I suppose it could be argued that
pochhammer needn't be defined anywhere. A better name for
pochhammer might be rising_factorial (so we could also have
the falling_factorial). Comments?
There is some code for converting pochhammer to TeX. I suppose this
should be moved into mactex? Since
Barton