Re: Handling branch cuts for hypergeometric functions
Subject: Re: Handling branch cuts for hypergeometric functions
From: Richard Fateman
Date: Sat, 12 Feb 2005 08:17:40 -0800
Albert Reiner wrote:
>
> Or is there a way to turn them off that I have missed so far?
I think that if you say "assume(x>0)" it will not ask "is x positive".
(etc.)
I think it is a mistake to silently make assumptions that are "typical"
because it is often the most important cases in which the assumptions
fail. The boundary or singular conditions that are part of a solution
are the ones that may exhibit engineering failure modes.
These are often when numerical methods don't find answers, and symbolic
methods should be better.
How far should we go in our skepticism? Even x-x-->0 is not valid
sometimes, if x is IEEE float undefined, or infinity, for example.
RJF