On Thu, Jan 15, 2015 at 12:22 PM, Павел Кудан
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...