Am Dienstag, den 08.09.2009, 12:21 -0400 schrieb Raymond Toy:
> This is caused by the following in simplimit:
>
> (defmfun simplimit (exp var val &aux op)
> (cond
> ((eq var exp) val)
> ((or (atom exp) (mnump exp)) exp)
> ((and (not (infinityp val))
> ;; *** HERE ***
> (not (amongl '(%sin %cos %atanh %cosh %sinh %tanh mfactorial %log)
> exp))
> (not (inf-typep exp))
> (simplimsubst val exp)))
>
> Since hypergeometric isn't among the list of "special" functions,
> simplimsubst is called.
>
> This looks like a bug in simplimit. The list of special functions needs
> to expanded. Or probably better, it should be removed and the rest of
> the code adjusted accordingly so that the special limit functions can
> decide what to do about continuity and such.
Yes, I have thought about it too and I think it is the best to remove
the check for some functions. Second, if we standardize all calls to the
special simplim%functions we can lookup all functions from the property
list.
Dieter Kaiser