January 2004 - PURRS-devel - BUGSENG Mailman

purrs/tests simpl_tests
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 18:12:15 Modified files: tests : simpl_tests Log message: Added 1 expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src simplify.cc
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 18:11:52 Modified files: src : simplify.cc Log message: Fixed a bug in the functions `find_bases_and_exponents(()', `collect_same_exponents(()' and `collect_same_base()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 16:06:33 Modified files: src : compute_bounds.cc Log message: Fixed the bug in the function `compute_term_about_initial_condition()' about the coefficient `0 < a < 1' of the functional equations of the form `x(n) = a*x(n/b)'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/tests heap
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 15:29:50 Modified files: tests : heap Log message: Temporary marked with `n' the functional equations of the form `x(n) = a*x(n/b)', with `b' not integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src verify.cc
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 15:29:29 Modified files: src : verify.cc Log message: Temporary commented the step 1 of the validation of the lower and upper bounds because now in the homogeneous part of the solution occurs the new symbolic function `Sc()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 15:29:05 Modified files: src : compute_bounds.cc Log message: The functional equations of the form `x(n) = a*x(n/b)', with `b' not integer, are temporary not approximated. Fixed the function `compute_term_about_initial_condition()' and the method `approximate_functional_equation()' introducing the functions `floor()' and `Sc()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src util.hh util.cc
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 15:08:48 Modified files: src : util.hh util.cc Log message: Modified the function `has_only_symbolic_initial_conditions()' consequently the introduction of the symbolic function `Sc()'. 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.inlines.hh Expr.cc
by Tatiana Zolo 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-09 15:06:35 Modified files: src : Expr.defs.hh Expr.inlines.hh Expr.cc Log message: Added the new symbolic function `Sc(n,b)' and the method `is_the_Sc_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.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

w3purrs/htdocs details.raw
by Alessandro Zaccagnini 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2004-01-09 14:47:55 Modified files: htdocs : details.raw Log message: Corrected mistake on initial conditions Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c…

1 0

w3purrs/htdocs details.raw
by Alessandro Zaccagnini 09 Jan '04

09 Jan '04

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2004-01-09 13:07:09 Modified files: htdocs : details.raw Log message: Added a few examples of solution of linear recurrences with constant coefficients with a brief discussion of parameters. Added a fairly lengthy description of the issues relative to "divide et impera" recurrences, including hints on how to use PURRS beyond its apparent abilities. The formatting is not completely consistent with the other pages, and many improvements are still possible, but it should be nonetheless useful for our customers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c…

1 0