Re: Motion 6
On 2009-09-15 19:48:38 -0700, G. William (Bill) Walster wrote:
> There are good reasons for interval data types to be opaque. This
> means that the internal representation of an interval should only be
> accessible through intrinsic functions supplied with the given
> language support for interval data types.
Motion 6 doesn't deal with the internal representation. Or perhaps
you mean infsup vs midrad?
How about a different motion that would generalize Motion 6 to
support midrad and other interval sets? (But some concepts, such
as the tightest FF-interval, would no longer exist.)
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)