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

Re: overflow question



On Mon, May 7, 2012 at 4:24 PM, Nate Hayes <nh@xxxxxxxxxxxxxxxxx> wrote:
> 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

I am not sure of how this interpretation in term of overflow can be
used. In particular, is the non-existence of solution to f(x)=0 a
consequence of the overflow-interpretation of this computation?

Alexandre Goldsztejn

-- 
Dr. Alexandre Goldsztejn

CNRS - Laboratoire d'Informatique de Nantes Atlantique
Office : +33 2 51 12 58 37 Mobile : +33 6 78 04 94 87
Web: www.goldsztejn.com
Email: alexandre.goldsztejn@xxxxxxxxxxxxxx