Major inconsistencies in Table 10.7 with unbounded intervals
It seems that Table 10.7 has inconsistencies with unbounded intervals.
For instance, consider a = [-inf,0] and b = [-inf,1]. What would the
state be?
It seems to work if the sets are compactified (i.e. by including -inf
and +inf, only for the overlap(a,b) operation).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)