Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Draft: P1788.1 Standard for Interval Arithmetic (Simplified)



On 07.09.2015 23:33, Walter Mascarenhas wrote:
Are you sure about the following statement in your message?

 >> For example: ceil( [0.5, 1]_com ) = [1, 1]_dac, because ceil is not
continuous in 0.5, but the restriction of ceil is.

Of course ceil is continuous in 0.5. I was thinking of the function roundTiesToAway. However, ceil is not continuous in 1, so the example still works.