15 Jan
2015
15 Jan
'15
2:30 p.m.
If not certain result is good, you must also be ready to accept [-inf, inf] as a result of 2 + 2 operation.
No, that's not what boost interval does.
You are constructing invalid hypothetical cases,"what is boost said 2+2=[-inf,inf]?". Like said before, you can infere any logical conclusion bases on invalid precondition. (inconsistent clause) -> (any statement) What *would* boost interval do in case of 2+2,.... and is that correct or not?