[PURRS-devel] [Fwd: Re: Problem with CoStLy 0.2]
Roberto Bagnara
bagnara at cs.unipr.it
Wed Nov 20 17:32:36 CET 2002
-------- 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
More information about the PURRS-devel
mailing list