Boost logo

Boost :

Subject: Re: [boost] [review][constrained_value] Review of Constrained Value Library begins today
From: Johan Råde (rade_at_[hidden])
Date: 2008-12-11 02:31:08


Robert Kawulak wrote:
>> From: Johan Rade
>> The statement is
>> "x <= y before truncation implies x <= y after truncation".
>
> Or more specifically:
> "x < y before truncation implies x <= y after truncation"
> Is this right?
>
> _______________________________________________
> Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost

Thought about it again.
None if these statements are true, unfortunately,
if you consider the case when one number is truncated to 64 bits
and the other is kept at 80 bits.
Then you can even have x < y before and x > y after.

--Johan Råde


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk