December 2002 - PURRS-devel

purrs src/Recurrence.defs.hh src/Recurrence.in ...
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 10:05:29 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh rr_solver.cc demos : purrs_rrs_cgi.cc tests : rrs_driver.cc Log message: In the enumerate `Solver_Status' changed `OK' into `RECURRENCE_OK'. Renamed method `Ok()' into `OK()'. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 12 Dec '02

12 Dec '02

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…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 12 Dec '02

12 Dec '02

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…

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 12 Dec '02

12 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-12 09:26:01 Modified files: src : Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Log message: Modified constructor: now it has three argument. Fixed the copy-constructor and the assignment operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inlin…

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 11 Dec '02

11 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-11 18:35:49 Modified files: src : Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Log message: Added the private data `coefficients' and the public methods `set_coefficients()' e `add_coefficient()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inlin…

1 0

[Fwd: Re: CoStLy 0.3]
by Roberto Bagnara 08 Dec '02

08 Dec '02

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

1 0

purrs/src approximate_impl.hh
by Roberto Bagnara 07 Dec '02

07 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-12-07 20:39:08 Modified files: src : approximate_impl.hh Log message: Adapted to CoStLy 0.3 beta. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/approximate_impl.hh.dif…

1 0

purrs/CoStLy README cimath.cpp cimath.h cinter ...
by Roberto Bagnara 07 Dec '02

07 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-12-07 20:37:15 Modified files: CoStLy : README cimath.cpp cimath.h cinterval.cpp cinterval.h error.h Log message: Corrections to CoStLy 0.3 beta. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/CoStLy/README.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/CoStLy/cimath.cpp.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/CoStLy/cimath.h.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/CoStLy/cinterval.cpp.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/CoStLy/cinterval.h.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/CoStLy/error.h.diff?cvsroot…

1 0

purrs/src Recurrence.cc Recurrence.inlines.hh ...
by Tatiana Zolo 07 Dec '02

07 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-07 19:01:17 Modified files: src : Recurrence.cc Recurrence.inlines.hh rr_solver.cc Log message: Moved `verify_solution()' from Recurrence.inlines.hh to Recurrence.cc and added its implementation. Removed the old `verify_solution()' from rr_solver.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

Import
by Roberto Bagnara 07 Dec '02

07 Dec '02

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

1 0