Re: Motion P1788/M007.01_NaI
John Pryce wrote:
> So my view is that if an algorithm writer wants to manipulate "an
> interval containing zero", it's their responsibility to introduce
> it as ?-eps,epsÙ explicitly.
I agree -- strongly!
We have even discussed possible syntax some time ago.
On the special endpoint-calculation rule 0*oo = 0:
> I feel there is a risk of confusing levels 1 and 3 here. If I
> understand Arnold's reasons for the "deviant behavior", see Vienna
> 7.8-7.11, they have NOTHING to do with the mathematics, but are
> practical changes that if implemented would simplify level 3 code
> for interval operations, on machines that use IEEE 754 arithmetic.
That's my understanding too. When I first mentioned the rule in this
thread I had lost track, and I should not have suggested a connection
with limits.
Michel.
---Sent: 2009-08-31 12:59:34 UTC