
Boost : 
Subject: Re: [boost] boost interval arithmetic
From: Thijs van den Berg (thijs_at_[hidden])
Date: 20150115 09:30:58
>
>
>
> 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?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk