Bill
On 2013 Nov 25, at 20:18, G. William (Bill) Walster wrote:
On 11/24/13 4:40 PM, Michel Hack wrote:
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*.
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.
The intention of the flavors scheme was that an interval model like the one you describe can indeed be a flavor. Please explain just what part of the specification in §7 prevents this.
John