Re: Guillaume's alternative definition(s) of "com"
On 2013-02-18 09:23:54 -0600, Ralph Baker Kearfott wrote:
> What would be the decorated intermediate results for
>
> ( 1/(atan([\pi/4,\pi/2]) )^2 ?
Do you mean atan or tan?
And at Level 1 (or in a system where \pi/2 is exactly representable)
or at Level 2 with intervals based on some floating-point system?
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)