-------- 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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it