Re: How do I bisect unbounded intervals?
On 2012-01-17 18:01:37 -0800, Dan Zuras Intervals wrote:
> Folks,
>
> While I sympathize with Vincent's feelings in this
> matter, I hesitate to follow 754 in the "formatOf"
> direction.
>
> Vincent's motivation in this is to solve problems
> that limited range & precision present to the user.
>
> However, it may be that the typical 1788 user has
> only one interval type to choose from. And only
> one floating-point type to support it. Or at the
> very least, both the interval & floating-point
> types are ALREADY the widest & most precise available.
You could say the same kind of things with IEEE 754 users.
> In that context, providing formatOf functions to the
> user solves nothing & presents us (as standards writers)
> with a world of hurt you can only dimly see from your
> vantage point.
It solves nothing in this case, but doesn't even change anything.
> Let us not add such complexity in the hope of solving
> problems we will not solve. It is better to find
> other ways.
I would say that on the contrary, taking implicit types into account,
it removes complexity because there would be fewer requirements.
--
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)