Re: A question Level 1 <---> level 2 mappings; arithmetic versus applications
On Jun 30, 2010, at 3:41 PM, Nate Hayes wrote:
> Yes.
> Possibly semi-infinite intervals can be considered invalid construction for mid-rad types, similar to how [-Inf,-Inf] is invalid construction for inf-sup. So there may be connections to the exception handling mechanism for these cases.
RIGHT. A semi-infinite interval is in a philosophical sense exceptional in inf-sup, too.
If we are really clever, we may be able to devise an exception-handling mechanism that works in the same manner for both inf-sup and mid-rad.
George
> Nate
>
> ----- Original Message ----- From: "Michel Hack" <hack@xxxxxxxxxxxxxx>
> To: "stds-1788" <stds-1788@xxxxxxxxxxxxxxxxx>
> Sent: Wednesday, June 30, 2010 3:25 PM
> Subject: Re: A question Level 1 <---> level 2 mappings; arithmetic versus applications
>
>
>> Nate Hayes wrote:
>>> For example, any given Level 1 interval [a,b] has the property:
>>> [a,b] = (m;r)
>>> where (m;r) is a mid-rad interval and m=(a+b)/2, r=(b-a)/2.
>>
>> Any *bounded* Level 1 interval. At level 1 a+b and a-b don't exist
>> when either a or b is infinite. At level 2 the only possible mid-rad
>> result is Entire, which loses almost all information unless the level 1
>> interval was Entire too (in which case a+b does not exist at level 2,
>> so a special rule would be followed).
>>
>> Michel.
>> ---Sent: 2010-06-30 20:31:49 UTC
Dr. George F. Corliss
Electrical and Computer Engineering
Marquette University
P.O. Box 1881
1515 W. Wisconsin Ave
Milwaukee WI 53201-1881 USA
414-288-6599; GasDay: 288-4400; Fax 288-5579
George.Corliss@xxxxxxxxxxxxx
www.eng.mu.edu/corlissg