Re: int2interval, frac2interval, rat2interval
On 2012-04-20 08:31:05 -0500, Ralph Baker Kearfott wrote:
> Dima,
>
> But "rational" data types, to my knowledge, have not been included
> in arithmetic standards in the past, so we'd have more work defining
> what we meant. (In contrast, for example, both binary floating point
> and decimal data types are defined in 754-2008, so our standard could
> relate to one or more of those.)
Yes, there's the risk that the rational arithmetic is implemented
with rounding errors if the type has bounded numerator and denominator
values (I think I've seen that somewhere).
> Were you thinking of a particular language standard with a rational
> data type? Also, do you have practical motivation for including a
> rational data type?
AFAIK, Dima was thinking about mpq (and maybe classes in OO languages).
--
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)