>>>>> "Richard" == Richard Fateman writes:
Richard> For what it's worth, commercial macsyma seems to fail on
Richard> these problems with Proviso: Assuming p>0
Bummer. I was hoping for independent verification. Anyone with
Mathematica who can try out those integrals?
Can macsyma simplify hypergeometric functions? For example,
expressing F(1,2;3/2;z) in closed form? Maxima produces 2 answers
depending on whether z is positive or negative. I've been doing that
by hand in rtesthyp.mac, and it's quite tedious and error-prone,
especially when the resulting answer is long. An independent
verification would be good.
Ray