Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

RE: Draft Standard Text, V02.1

I agree with John, interval extension does not have to come from straightforward interval computation-type substitution, it may come from the central form etc. Juergen’s idea is too limited for our practice.

 

From: stds-1788@xxxxxxxx [mailto:stds-1788@xxxxxxxx] On Behalf Of John Pryce
Sent: Tuesday, March 16, 2010 11:33 AM
To: stds-1788
Subject: Re: Draft Standard Text, V02.1

 

Jürgen

 

On 16 Mar 2010, at 17:23, Jürgen Wolff von Gudenberg wrote:

4.4.1.
I usually define interval extension as _expression_ where all real entities and operators are substituted by interval counterparts.
Then I argue that the result contains the range.
You define it the other way. why ?

That's what I was taught! and it agrees with the definition in

http://en.wikipedia.org/wiki/Interval_arithmetic#Interval_extensions_of_general_functions

 

Opinions, anyone?

 

John