idlike2dream/sympy — pull request #2 by raoulb (2012-12-31 01:36:31+00:00)
Title: Add a hyperexpand rule to simplify a particular 3F3 instance

Background: The solution of some integrals like

integrate(erf(a*z)/z**2, z)
integrate(erfc(a*z)/z**2, z)
integrate(erfi(a*z)/z**2, z)

yield certain 3F3 and we would like to simplify further.
For that we need the rule:

http://functions.wolfram.com/07.31.03.0134.01

which indeed does the job for any 3F3 of the form:

hyper([1, 1, a], [2, 2, a+1], z)

for a unequal to 1.