On 11/3/2010 11:59 AM, Edwin Woollett wrote:...
.. snip ..
>
> Here is a record of the new definitions
> the calc. of the 'true value' and the
> symbolic calculation's reduction
> to floats as a check of correctness.
>
Have you read the articles on this topic that appeared in the SIGSAM
Bulletin,
previously referenced? There is also an MS thesis at UC Berkeley on
branch cuts and computer algebra systems.
Are you able to convince yourself that you have
(a) a complete specification of the problem you are trying to solve
and
(b) a solution?
It is hard to tell from a single example.
RJF