overflow question
Alexandre Goldsztejn wrote:
As the discussion has eventually started, could you use my email as a
first
thread in this discussion and explain the interpretation in terms of
overflow of the computation
f(x)= 1+x^2 (1+sin(x))
f((-oo,+oo))=[1,+oo]
to the standard's list?
Yes.
The input to this function would be [-omega,+omega]. Since
X = upsilon([-omega,+omega]) = [-oo,+oo]
for FTIA we then have at Level 1a:
f(X) = [1,+oo]
which we may safely re-interpret as
omega(f(X)) = [1,+omega].
Nate