
Boost : 
Subject: Re: [boost] boost interval arithmetic
From: Thijs van den Berg (thijs_at_[hidden])
Date: 20150115 06:40:05
On Thu, Jan 15, 2015 at 12:22 PM, ÐŸÐ°Ð²ÐµÐ» ÐšÑƒÐ´Ð°Ð½ <coodan_at_[hidden]> wrote:
>
> >But it *can* return a single interval. Always. And that's the correct
> >result given the definition being used: a single interval that
> encapsulated
> >the value. You are looking for a different definition, one of many
> possible
> >definitions.
>
> But, please, tell are you agree that
>
> [inf, inf]
> IS NOT
> [inf, 1] U [1, inf]
>
There is no U decompositionin boost interval
You can say
OR( [inf, 1], [1, inf] ) > [inf, inf]
and also
[inf, inf] == OR( [inf, 1], [1, inf] )
but there is no operator that decomposes and interval into subintervals.
You are using a multiinterval argument to evaluate a singleinterval
library. That's wrong. A multi interval is not the same as a single
interval, but we all know that...
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk