[PURRS-devel] [Fwd: Re: Problem with CoStLy 0.2]

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: Problem with CoStLy 0.2
Date: Wed, 20 Nov 2002 16:57:11 +0100
From: Markus Neher <markus.neher at math.uni-karlsruhe.de>
To: Roberto Bagnara <bagnara at cs.unipr.it>
CC: Eble, Ingo <ingo.eble at math.uni-karlsruhe.de>
References: <3DDA0E35.2060204 at cs.unipr.it> <3DDA0FFD.1050500 at math.uni-karlsruhe.de> <3DDA52D0.1080500 at 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 at cs.unipr.it