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

19 Nov 2002


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