Re: The current proposal
On Mon, 23 Feb 2009 16:22:11 -0100, Arnold Neumaier
<Arnold.Neumaier@xxxxxxxxxxxx> wrote:
(1') X = F(isup(A)) returns for all continuous F an inclusion
of lim_{x->A.sup} F(x).
(2') B = convexHull(iinf(A),isup(A)) always returns B=A
even though interval(inf) = Empty, so that your original
constructions don't work correctly.
This slipped me, it looks like a good alternative. It may
take some time but users may get used to it. Definitely better
than
convexHull(number2interval(A.inf),number2interval(A.sup))
But writing (1') and (2') is much nicer anyway, and also avoids
nasty issues for cases when the bound representation and the
float representation differ,
I don't understand this, I thought bounds are always fl-pt
numbers (including Infinity).
Cheers, SMR
--
=====================================================
Prof. Dr. Siegfried M. Rump
Institute for Reliable Computing
Hamburg University of Technology
Schwarzenbergstr. 95
21071 Hamburg
Germany
phone +49 40 42878 3027
fax +49 40 42878 2489
http://www.ti3.tu-harburg.de
and
Visiting Professor at Waseda University
Faculty of Science and Engineering
Shinjuku Lambdax Bldg. 902
2-4-12 Okubo, Shinjuku-ku
Tokyo 169-0072
Japan
phone/fax in Japan +81 3 5286 3414