Re: P1788/M0014.01: NO
Alan
You are creating difficulties that simply are not there, IMO. I see two points to distinguish:
(a) Being 754-conforming means supporting 754 binary64 interval format, etc.
I assume 754 FP numbers are among the kinds of number Frink supports. If so, you can do it. If you don't, or prefer not to -- well then, be a conforming implementation of P1788 but not a 754-conforming one.
(b) You write
> To see if the next version of this motion succeeds better, here are
> some tests. See if it's possible to meet the criteria if your
> implementation stores exact rational numbers like 1/3 or 1/10,
> arbitrary-size integers, arbitrary-precision floating-point numbers, or
> exact symbolic constants like sin[1].
An n-format is any subset F of R* containing +-oo. The numbers Frink supports, call them frinks, are such a subset. That defines an interval format such as P1788 requires. A nonempty interval xx in that format is represented at level 3 by an object holding a pair of frinks, the endpoints of xx. From that object the endpoints are retrieved exactly. Presumably Frink can work with such objects.
You're a lucky guy, you can represent and manipulate xx = [pi/3, sin(sqrt(2))] exactly in your system.
Where's the problem?
John
On 4 Jun 2010, at 03:44, Alan Eliasen wrote:
> The wording of section 6.1 is unclear, and makes requirements that
> are not properly defined, and not possible to implement.