Thread Links | Date Links | ||||
---|---|---|---|---|---|
Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
I don't understand. To have 0*[1,inf] = [0,0], no interpretation of inf as floating-point is needed, since this automatically holds with the specification of [l,u] = set of reals between l and u. No conversion of inf to an interval is involved here.
Consider (in Matlab notation) X = intval(NaN); Y = 0*X The result is the empty set, in either way. We expect this. Consider X = intval(0.1); Y = 0*X The result is [0], in either way. We expect this. Consider X = intval(1e40); Y = 0*X The result is still [0], either way. We expect this. Consider X = intval(1e400); Y = 0*X Your result is the empty set. Strange? I think yes. As you say, we can define everything as we wish. I prefer a definition so that Y is still [0]. Cheers, Siegfried -- ===================================================== 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