-------- Original Message -------- Subject: Re: Problem with CoStLy 0.2 Date: Wed, 20 Nov 2002 16:57:11 +0100 From: Markus Neher markus.neher@math.uni-karlsruhe.de To: Roberto Bagnara bagnara@cs.unipr.it CC: Eble, Ingo ingo.eble@math.uni-karlsruhe.de References: 3DDA0E35.2060204@cs.unipr.it 3DDA0FFD.1050500@math.uni-karlsruhe.de 3DDA52D0.1080500@cs.unipr.it
Roberto Bagnara wrote:
Thanks a lot. We are indeed stuck at this and we do not know how we should proceed. We have written a temporary workaround for the problem but we are unsure whether this is the way to go. In fact, new cases are arising: for instance, squaring a negative real interval causes the function_undefined() exception to be thrown:
We will implement some additional power functions that can handle theses problems. A new version of CoStLy will be available in about two weeks. We'll let you know as soon as it is finished.
Best regards,
Markus