Re: Guillaume's alternative definition(s) of "com"
On 2013-02-19 15:03:16 +0100, Vincent Lefevre wrote:
> 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?
Actually, if you mean tan, the second question doesn't really matter:
since tan(pi/2) is not defined, you would get the trv decoration in
both cases for tan([\pi/4,\pi/2]), and trv again subsequently.
--
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)