Re: overflow question
> First we should be clear it was Alex who just recently suggested
> midpoint([1,+Inf]) should be REALMAX at Level 2, but I had said:
I did not suggest that midpoint([1,+oo]) should be REALMAX at Level 2 !
All what I said is that in my opinion the midpoint of unbounded
intervals can be undefined at Level 1, while can be defined at Level 2
after discussion. These discussions could lead us deciding that at
Level 2 midpoint([1,+oo]) = REALMAX, or anything else including NaN as
suggested by Arnold. I don't wish to express any personal suggestion
of what could be the midpoint of unbounded intervals at Level 2 now,
since it is not the topic of the current discussion.
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