On 1/1/2011 1:46 PM, Richard Fateman wrote:
>
> the matcher finds gamma(z) as one factor in e= gamma(z)*gamma(z+1/2).
> It then tries to match
> gamma(z+1/2) to e/(gamma(z). But the quotient is not
> simplified to gamma(z+1/2),
> and so it fails.
The bug is not in the dealing with quotient, but something having to do
with binding of
the variable z, I now think.
(I mention this not so that you, Pouya, will fix it, but that perhaps
someone else will
notice, or I will pick it up again when I have more time.)
RJF