Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Alternate floating-point results under directed rounding

Michel Hack schrieb:


I already commented to Arnold that he should consider floating-point type
issues in his proposal, especially for float->interval conversions.  In
his proposal, mixed float/interval computations are carried out by first
converting floats (or strings) to intervals, not by having explicit mixed
operators such as addFloatToInterval (of which there would have to be a
bewildering variety).


Actually, my proposal is worded such that both versions are permitted.


Arnold Neumaier