adding facts to taylor



Does anybody understand the taylor code (hayat.lisp) well
enough to tell me how to add a fact such as A&S 6.5.32
(see http://www.math.sfu.ca/~cbm/aands/page_263.htm)?
Since 6.5.32 isn't 100% a power series, maybe it isn't
reasonable to expect taylor to handle it, I suppose.

I have some code for the incomplete gamma function.
The taylor function works okay for things like
taylor(incomplete_gamma(a,x),x,1,5), but it fails
for taylor(incomplete_gamma(a,x),x,inf,5).

Barton