Re: [boost] boost interval arithmetic

Subject: Re: [boost] boost interval arithmetic
From: Thijs van den Berg (thijs_at_[hidden])
Date: 2015-01-15 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 multi-interval argument to evaluate a single-interval
library. That's wrong. A multi interval is not the same as a single
interval, but we all know that...