Re: Motion 31 draft text V04.4, extra notes

["Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>]

Vincent Lefevre wrote:
> > So if one interprets the comparision operations in Motion 13 in the light 
> > of
> > overflown intervals, then those endpoint formulas are correct.
>
> P1788 should stick to a single choice: "unbounded" intervals or
> "overflown" intervals. Mixing choices is a very bad idea

I agree!

> > In my opinion, P1788 should consider restricting Level 1 to bounded
> > intervals and introduce "overflown" intervals at Level 2. After the 
> > recent
> > discussion on midpoint, it seems the committee is already leaning in this
> > direction anyways. It also means the formulas in Motion 13 which are very
> > simple and efficient could still be used for implementations.
>
> I don't see the discussion on midpoint changing anything about such
> intervals.

I'm not sure what you mean by this comment.

My observation is that Midpoint is not defined at Level 1 for unbounded 
intervals.

Nate