November 2003 - PURRS-devel

purrs/src Recurrence.cc Recurrence.defs.hh
by Tatiana Zolo 27 Nov '03

27 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-27 10:04:11 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: Improved the function `substitute_i_c_shifting()'. Minor changes in a comment. 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 27 Nov '03

27 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-27 08:49:14 Modified files: tests : rrs_driver.cc Log message: Fixed an error in the description of the option `-E'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.defs.hh
by Tatiana Zolo 26 Nov '03

26 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-26 18:01:24 Modified files: src : Recurrence.defs.hh Log message: Added two examples in the detailed description of the method `replace_initial_condition()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh Rec ...
by Tatiana Zolo 26 Nov '03

26 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-26 17:02:12 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh factorize_giac.cc factorize_giac.hh Log message: Added the method `get_max_index_initial_condition()': if the map `initial_conditions' is not empty returns the maximum integer among the first elements of it; returns 0 if the map is empty. Improved the method `replace_initial_condition()' and moved it from Recurrence.inlines.hh in Recurrence.cc. Improved the methods `validate_initial_conditions()' and `substitute_i_c_shifting()'. Minor changes in the documentation. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize_giac.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize_giac.hh.diff?…

1 0

purrs/src Cached_Expr.defs.hh
by Tatiana Zolo 26 Nov '03

26 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-26 16:45:56 Modified files: src : Cached_Expr.defs.hh Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.defs.hh.dif…

1 0

purrs/src util.hh util.cc
by Tatiana Zolo 26 Nov '03

26 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-26 16:45:26 Modified files: src : util.hh util.cc Log message: Added the function `has_at_least_a_symbolic_ic()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/src Expr.defs.hh Expr.cc
by Tatiana Zolo 26 Nov '03

26 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-26 16:39:38 Modified files: src : Expr.defs.hh Expr.cc Log message: Added a new method: `has_x_function()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/doc definitions.dox
by Tatiana Zolo 26 Nov '03

26 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-26 10:21:39 Modified files: doc : definitions.dox Log message: Some errors that have been pointed out by Path Hill are now fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cv…

1 0

purrs/doc definitions.dox
by Tatiana Zolo 25 Nov '03

25 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-25 17:15:20 Modified files: doc : definitions.dox Log message: Minor changes in the section about weighted-average recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cv…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 25 Nov '03

25 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-25 16:01:45 Modified files: src : Recurrence.cc Log message: Fixed the method `validate_initial_condition()'. When it evaluates the expression containing the exact solution for `n = i, ..., i+k-1 (k is the order of the recurrence) it verifies that the final result is "synctactically" equal to `x(n)' or to the expression associated to `x(n)' in the map `initial_conditions', for `n = i, ..., i+k-1'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0