December 2003 - PURRS-devel

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

18 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-18 13:17:14 Modified files: src : Recurrence.defs.hh Log message: Temporary put in the public section of the class the enumerate `Classifier_Status', the method `classify_and_catch_special_cases()' and the enumerate `Type': this is necessary in order to use them in the `rr_filter'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/tests rr_filter.cc
by Tatiana Zolo 18 Dec '03

18 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-18 12:53:26 Added files: tests : rr_filter.cc Log message: Added the filter among the recurrences of "heap" based on the results of the classification's process. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rr_filter.cc?cvsroot=…

1 0

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

18 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-18 08:55:40 Modified files: src : Recurrence.cc Log message: Minor changes in the still commented code about the step 3 of the validation of linear finite order recurrences. Other minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src alg_eq_solver.cc
by Tatiana Zolo 18 Dec '03

18 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-18 08:50:50 Modified files: src : alg_eq_solver.cc Log message: In the function `find_roots()' uncommented the call to the function `is_nested_polynomial()' because used in the "new" method (see the paper "Checking and Confining the Solutions of Recurrence Realtions") for the validation of the exact solution of linear finite order recurrences with constant coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…

1 0

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

17 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-17 15:18:42 Modified files: src : Recurrence.cc Log message: Removed a useless variable in the function `verify_finite_order()'. 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 17 Dec '03

17 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-17 15:07:30 Modified files: src : Recurrence.cc Log message: Fixed a problem in the function `verify_weighted_average()'. Improved the function `subs_i_c_weighted_average()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

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

17 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-17 09:39:00 Modified files: src : Recurrence.defs.hh Log message: Improved the documentation of the methods `set_initial_conditions()' and `evaluate_exact_solution()'. 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 16:59:24 Modified files: src : Recurrence.cc Log message: Improved the methods `exact_solution()', `lower_bound()' and `upper_bound()' so that calling them is sufficient in order to get the evaluated exact solution (or bound) after giving a different set of initial conditions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc 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 14:52:14 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: Removed the method `replace_initial_condition()'. Fixed some comments. 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…

1 0

purrs/tests rrs_driver.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 14:51:23 Modified files: tests : rrs_driver.cc Log message: In the function `process_options()' used the method `set_initial_conditions()' instead of `replace_initial_conditions()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0