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

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: Problem with CoStLy 0.2
Date: Tue, 19 Nov 2002 11:18:37 +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>

Dear Roberto,

thank you for your email. We'll check the problem and will hopefully
find a solution to it.

Best regards,

Markus

 >
 > Dear Markus and Ingo,
 >
 > we have a problem with CoStLy 0.2.  Basically, pow(x, y) throws
 > an exception when we believe it should not.  Here is what happens.
 > First, we invoke CoStLy's pow():


-- 
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