Re: About exact results and exact endpoints
On 2013-02-13 10:22:02 -0600, Ralph Baker Kearfott wrote:
> (We have defined
> ``flavors'' and will specify common properties of all
> flavors and different interval formats. However, the
> core interval data type we have mostly nailed down
> is an inf-sup, 754-conforming data type. Data types
> involving exact representations would fall under flavors
> that have not yet been defined or non-754 data types we
> haven't extensively considered to date. Exact representations
> might be useful in achieving standard compliance with
> underlying computations in implementations, but it probably
> is not our business specifying details of implementations,
> beyond checking feasibility or practicality of implementation.)
Exact representations would not be provided by a different flavor
(an exact representation makes sense in every flavor), but would
be some specific parameterized implicit interval type (this is
already covered by "Multi-precision interval types", but P1788
gives little specification).
--
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)