January 2003 - PURRS-devel - BUGSENG Mailman

purrs/src Recurrence.defs.hh Recurrence.inline ...
by Tatiana Zolo 20 Jan '03

20 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-20 20:03:22 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Recurrence.cc Log message: Added the new methods Solver_Status compute_exact_solution() const; void exact_solution(Expr& e) const; Solver_Status compute_lower_bound() const; void lower_bound(Expr& e) const; Solver_Status compute_upper_bound() const; void upper_bound(Expr& e) const; that substitute and improve the old methods Solver_Status solve() const; Expr lower_bound_solution() const; Expr upper_bound_solution() const; bool exact_solution(Expr& exact_sol) const; Renamed `solve_easy_cases()' in `classify()'. Renamed `solve_try_hard()' in `catch_special_cases()'. Added the pointer to `Order_Reducton_info' and added the private methods for to access to the private data of the class `Order_Reduction_Info'. 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/Recurrence.cc.diff?cvsr…

1 0

purrs/src Order_Reduction_Info.defs.hh Finite_ ...
by Tatiana Zolo 20 Jan '03

20 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-20 19:52:16 Modified files: src : Order_Reduction_Info.defs.hh Finite_Order_Info.defs.hh Functional_Equation_Info.defs.hh simplify.cc Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Order_Reduction_Info.de… 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/Functional_Equation_Inf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src Makefile.am compute_bounds.cc comput ...
by Tatiana Zolo 20 Jan '03

20 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-20 19:48:46 Modified files: src : Makefile.am Added files: src : compute_bounds.cc compute_exact_solution.cc Log message: Moved `approximate_functional_equation()' from rr_solver.cc to compute_bounds.cc. Moved `solve_linear_finite_order()', `solve_constant_coeff_order_1()', `solve_constant_coeff_order_2()', `solve_constant_coeff_order_k()', `solve_variable_coeff_order_1()' and `add_initial_conditions()' from rr_solver.cc to compute_exact_solution.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc?cvsro… 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/Makefile.am.diff?cvsroo…

1 0

purrs/src Order_Reduction_Info.cc Order_Reduct ...
by Tatiana Zolo 20 Jan '03

20 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-20 19:43:34 Added files: src : Order_Reduction_Info.cc Order_Reduction_Info.defs.hh Order_Reduction_Info.inlines.hh Order_Reduction_Info.types.hh Log message: Added a class for containing all informations necessary in the order reduction's method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Order_Reduction_Info.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Order_Reduction_Info.de… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Order_Reduction_Info.in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Order_Reduction_Info.ty…

1 0

purrs/src Cached_Expr.cc Cached_Expr.defs.hh C ...
by Tatiana Zolo 20 Jan '03

20 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-20 19:40:46 Added files: src : Cached_Expr.cc Cached_Expr.defs.hh Cached_Expr.inlines.hh Cached_Expr.types.hh Log message: Added the class for holding expressions and attributes we may have or may have not computed (and that we do not want to compute more than once). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.defs.hh?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.inlines.hh?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.types.hh?cv…

1 0

purrs TODO.tex
by Alessandro Zaccagnini 19 Jan '03

19 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2003-01-19 19:24:23 Modified files: . : TODO.tex Log message: A couple of comments added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/TODO.tex.diff?cvsroot=purrs…

1 0

purrs/src Makefile.am rr_solver.cc finite_orde ...
by Tatiana Zolo 16 Jan '03

16 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-16 14:02:02 Modified files: src : Makefile.am rr_solver.cc Added files: src : finite_order.cc finite_order.hh functional_equation.cc functional_equation.hh Log message: Moved the functions used only for the finite order recurrences from rr_solver.cc in the new files finite_order.{hh, cc}. Moved the functions used only for the functional equations from rr_solver.cc in the new files functional_equation.{hh, cc}. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.hh?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.hh?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src Recurrence.defs.hh rr_solver.cc
by Tatiana Zolo 16 Jan '03

16 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-16 10:51:39 Modified files: src : Recurrence.defs.hh rr_solver.cc Log message: Removed `NON_LINEAR_RECURRENCE' from the enum `Solver_Status'. Renamed `check_powers_and_functions()' in `x_function_in_powers_or_functions()' and now it is static of rr_solver.cc. 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/rr_solver.cc.diff?cvsro…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 15 Jan '03

15 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-15 16:17:38 Modified files: tests : simpl_tests Log message: Added two new expressions to simplify. 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 15 Jan '03

15 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-15 16:16:39 Modified files: src : simplify.cc Log message: Improved the logarithms' simplifications with the rule (a^b)^{log n / log a} = n^b, \quad \text{where } a \in \Rset, a > 0 \text{and } b \in \Nset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0