Re: Motion P1788/M0033.01 Number Format:NO
Alan
On 6 Jun 2012, at 09:11, Alan Eliasen wrote:
> My vote on Motion M0033.01 Number Format is NO.
>
> Currently, the text of the motion is ambiguous or impossible to meet
> if the implementation of the numerical type uses arbitrary-precision
> numbers. (And good numerical implementations will have arbitrary
> precision numbers.)
It is made quite clear in the draft Level 2 text (have you read it?) that rounding, and interval hull, are with respect to a given finite set of numbers or intervals. There is nothing "ambiguous or impossible" given one accepts that concept, and you are one of *very* few people who have objected to it.
If your system has an infinite set of possible numbers or intervals you have to express this set as a union of a (presumably increasing) sequence of finite sets, one of which is selected at any moment. Have you a good theoretical alternative? If not, live with it and adapt your system.
John Pryce