Re: Tagged intervals (Was Branch & bound for not everywhere defined constraints)

[John Pryce <j.d.pryce@xxxxxxxxxxxx>]

On 6 Sep 2009, at 23:34, Nate Hayes wrote:
> > > If no flags or equivalents for PossiblyUndefined etc. are provide
> > > then a user who wants to program decorated intervals that propagate
> > > a PossiblyUndefined decoration will have to do that the same way as
> > > it is done now, which means inefficiently and with lots of effort:
> > > every operation must be reprogrammed!
> > Violently agree.
> I don't think anyone has suggested flags can't be specified, even  
> if NaIs
> exist. We can have both, if necessary.

We certainly shouldn't rule that out at this stage.

John Pryce