CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2002-12-12 09:45:00
Modified files:
src : rr_solver.cc
Log message:
Added `decrements' to the arguments of `classification_summand()';
renamed `compute_order()' into `compute_order_inserting_decrement()' and
added `decrements' to its arguments. Filled up the vector `decrements'.
Created dynamically the structure `Finite_Order_Info'.
Removed an old part of code.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2002-12-12 09:37:22
Modified files:
src : Recurrence.defs.hh Recurrence.inlines.hh
Log message:
Added UNKNOWN and ZERO_ORDER in the enumerate `Type' and modified the
two constructors in according with this change: the recurrence
`x(n) = 0' is of the type ZERO_ORDER and the recurrence `x(n) = e' is of
the type UNKNOWN.
Added method `bool Ok() const'.
Added `decrements' to the arguments of `classification_summand()'.
Renamed `compute_order()' into `compute_order_inserting_decrement()' and
added `decrements' to its arguments.
The pointer to `Finite_Order_Info' is mutable.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…
-------- Original Message --------
Subject: Re: CoStLy 0.3
Date: Sun, 08 Dec 2002 10:14:26 +0100
From: Markus Neher <markus.neher(a)math.uni-karlsruhe.de>
To: Roberto Bagnara <bagnara(a)cs.unipr.it>
CC: Eble, Ingo <ingo.eble(a)math.uni-karlsruhe.de>
References: <3DF0E1AA.1020308(a)math.uni-karlsruhe.de> <3DF24E97.70905(a)cs.unipr.it>
Dear Roberto,
thanks for your email. It surely helps us to improve CoStLy.
> thanks for the beta. In order to be able to use it we had to make
> the corrections you will find in the attached patch. They fall into
> 5 categories: (...)
I will talk to Ingo on these points.
> We are now using the revised beta version. However, we could not disable
> our wrapper around the pow() function, since CoStLy still throws an exception
> for invocations like, e.g., pow(([-0.5, -0.5],[0, 0]), ([-1, -1],[0, 0])).
> Do you plan to address also this case?
Perhaps this is an oversight. I'll talk to Ingo about how to extend the
pow function for zero exponent.
Have you tried the pow_all function? That one should work for your
examples, but maybe you do not want to use it for other cases.
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
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: roberto(a)cs.unipr.it 2002-12-07 18:59:59
Log message:
Import of CoStLy 0.3pre1.
Status:
Vendor Tag: NEHER_EBLE
Release Tags: COSTLY_0_3_PRE1
C purrs/CoStLy/README
C purrs/CoStLy/cinterval.h
C purrs/CoStLy/error.h
C purrs/CoStLy/cimath.h
C purrs/CoStLy/cinterval.cpp
C purrs/CoStLy/cimath.cpp
U purrs/CoStLy/COPYING
N purrs/CoStLy/costly03_doc.ps
6 conflicts created by this import.
Use the following command to help the merge:
cvs checkout -jNEHER_EBLE:yesterday -jNEHER_EBLE purrs/CoStLy
