| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
On 11/24/13 4:40 PM, Michel Hack wrote:
It sure does if my universal set of intervals includes the elements of the one-point compactification of the reals, R \cup \infty because 1/0 = \infty.Bill Walster wrote:For a system of real, not extended real intervals, the domain of div(x,y) and recip(x) can be R^2 and R, respectively. See Table 9.1 on page 21.??? The inverse of 0 is not defined in the Reals, so the domains indeed have the holes described in Table 9.1. This does not in any way constrain flavours from extending those domains in a flavour-specific manner for *non-common evaluations*.
The ranges of asin, acos, atan, and atan2 functions are unnecessarily narrow.Do you really want asin(0) to return an enclosure of 200*pi, at the whim of the implementer?
No. That is not necessary, but see <http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=10&cad=rja&ved=0CGoQFjAJ&url=http%3A%2F%2Fwww.oracle.com%2Ftechnetwork%2Fsystems%2Finterval-angles-150228.pdf&ei=z6-TUt3cBMrloATN6oKQDw&usg=AFQjCNHDxLvcZD0XV94WnfOtX_Ktk0h6TQ&bvm=bv.57127890,d.cGU> Cheers, Bill