Re: Proposal for a new structure of the standard
Dan Zuras wrote:
> I think it makes more sense to have the set that lives
> at level 2 be a single instantiation of a GMP object as
> an interval type indexed by base, precision & range as
> well as style (explicit/implicit).
But what if the format doesn't have the CONCEPT of bounding
the range? (I'll admit that not bounding precision does not
work for floating-point types, unlike some of the types I had
mentioned in earlier posts.)
Are you simply ruling these out? Perhaps you are.
Let me suggest an alternative: IF the underlying format does
not have fixed or at least specifiable bounds on range and
resolution, THEN functions like TightestHull() MUST have an
additional parameter that does specify such bounds for that
invocation.
Michel.
---Sent: 2010-07-19 02:28:39 UTC