December 2003 - PURRS-devel

purrs/src Recurrence.defs.hh
by Tatiana Zolo 16 Dec '03

16 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-16 13:05:37 Modified files: src : Recurrence.defs.hh Log message: Improved several comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 16 Dec '03

16 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-16 13:05:17 Modified files: src : Recurrence.cc Log message: Fixed the method `evaluate()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 16 Dec '03

16 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-16 11:09:03 Modified files: src : Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh compute_exact_solution.cc rr_classifier.cc Log message: Removed the private data `first_valid_index' from the class Finite_Order_Info and add it to the class Recurrence, since for each type of recurrence we consider the least non-negative integer `j' such that the recurrence is well-defined for `n >= j'. Several changes in the classification's process in order to set this new data. 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… 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.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/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/doc definitions.dox
by Tatiana Zolo 16 Dec '03

16 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-16 11:08:09 Modified files: doc : definitions.dox Log message: Added the definition of the "first valid index". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cv…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh Rec ...
by Tatiana Zolo 15 Dec '03

15 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-15 18:37:36 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh Log message: Changed all the methods that evaluate the exact solution or the bound in a interval: now the interval is not closed, [begin, end], but in the form [begin, end). Several things to fix in the part of the method `evaluate()' that evaluates weighted-average recurrences. 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.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…

1 0

purrs/tests heap
by Tatiana Zolo 15 Dec '03

15 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-15 17:57:27 Modified files: tests : heap Log message: Added a weighted-average recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.defs.hh Recurrence.cc
by Tatiana Zolo 15 Dec '03

15 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-15 17:57:06 Modified files: src : Recurrence.defs.hh Recurrence.cc Log message: Improved the method `verify_weighted_average_recurrence()'. Improved the method for substituting initial conditions in the symbolic solution of a weighted-average recurrence. 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.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 12 Dec '03

12 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-12 15:19:41 Modified files: src : Recurrence.cc Log message: Improved the method `set_initial_conditions()' in the part of linear finite order recurrence relations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 12 Dec '03

12 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-12 09:56:33 Modified files: src : Recurrence.cc Log message: Activated the new verification's process on linear finite order recurrences with constant coefficients (which are not solved by the order reduction method). Added some FIXME. The time of the "make check" is remarkably improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests heap
by Tatiana Zolo 12 Dec '03

12 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-12 09:12:01 Modified files: tests : heap Log message: Added 2 recurrences: - the first shows that the simplification on logarithms at the beginning of the classification's process is important in order to have the closed form of the solution (without these simplifications the solution contains an object `prod()'). - the second shows that the simplification on logarithms at the beginning of the classification's process are fundamental in order to recognize the non-linear recurrences that otherwise it would not be classified and solved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0