Re: Motion 52: final "Expressions" text for vote
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