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

Re: Motion 52: final "Expressions" text for vote

Thanks, Ned.

Yes, the documentation

<http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&cad=rja&ved=0CDUQjBAwAQ&url=http%3A%2F%2Fwww.ti3.tuhh.de%2Fkeil%2Fprofil1%2Fdocu%2FProfil.texinfo_toc.html&ei=FSCRUs33JsKEjALs14HwCA&usg=AFQjCNGF48QkeunnGnzQcpInGM0Ouyh_JA&bvm=bv.56988011,d.cGE>
for FILIB++ is a step in the right direction, but it and the references therein remain incomplete. For example, what is the containment set of 1 / ( 1 / [1, +oo] ) ?
In addition, with the interval variable X = [1, +oo], under what conditions are [1,1] and [0,0] the containment sets of 

1 / (1 / X)

and

X - X,

respectively?
It seems to me that a complete mathematical foundation for computing with intervals must define containment sets for these and many more expressions and functions.
I did not see any mathematical foundation in the the PROFIL/BIAS documentation in 

<http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&cad=rja&ved=0CDUQjBAwAQ&url=http%3A%2F%2Fwww.ti3.tuhh.de%2Fkeil%2Fprofil1%2Fdocu%2FProfil.texinfo_toc.html&ei=FSCRUs33JsKEjALs14HwCA&usg=AFQjCNGF48QkeunnGnzQcpInGM0Ouyh_JA&bvm=bv.56988011,d.cGE>

Cheers,

Bill

On 11/23/13 11:03 AM, Ned Nedialkov wrote:

On 2013-11-23, at 1:24 PM, Dan Zuras Intervals <intervals08@xxxxxxxxxxxxxx> wrote:

	Bill,

	Have their not been publications over the years of various
	ways to implement intervals?  Can we not pick from one of them
	as a basis for our standard.  And I say 'basis' because there
	are clearly other things people would like in their standard.

	Yours,

				Dan Zuras


FILIB++ and PROFIL/BIAS are pretty good. There is also Gaol, which I do not know very
well.

Ned