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

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