OK, but that is enough to conclude that [-inf, inf] IS( [-inf, -1] U [1, inf]) is not true and this operator returns not correct result, no matter is the way it corrupts own result documented or not.
No, you are wrong here again, you claim so much but demonstrate nothing. You seem to lack the ability to reason precisely and mix up set theory with numerical interval computations.
You should stick to pen and paper math, learn about logical inference
(A and NOT(A))->proves the earth is flat
,lean about numerical representation theory (like floats) and don't touch a computer or post in forums until you do that!
What in your opinion is the value of "d" in the following statement?
double d=1/3;
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
Or, may be you think that /= operator which checks first if result interval is single and throw exception if not is too difficult to implement with division_part1/division_part2 functions?