Extend specint(exp(-s*t)*t^z,t) to complex z
commite8cff3579e13b919cb282150188caa9fb34a3e6b
authorKris Katterjohn <katterjohn@gmail.com>
Thu, 22 Apr 2021 23:30:49 +0000 (22 19:30 -0400)
committerKris Katterjohn <katterjohn@gmail.com>
Thu, 22 Apr 2021 23:30:49 +0000 (22 19:30 -0400)
tree8e2b4f9d232f60311d819ef69a2a42b253bbe399
parentfe03567d6596395417dfe703d37336bcab3f493a
Extend specint(exp(-s*t)*t^z,t) to complex z

For complex z, the real part of z needs to be greater than -1.  The
only change necessary to make this work is to update F1P137TEST so
it checks the sign of the real part of z+1 instead of the sign of
the entire expression z+1.

See also commit f49b1d1f which similarly extended laplace.

No problems with the test suite or share test suite.  Some new tests
have been added to rtest_hypgeo.
src/hypgeo.lisp
tests/rtest_hypgeo.mac