CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-15 18:20:33
Modified files:
tests : heap
Log message:
Added a recurrence of first order with variable coefficient
that MuPAD does not seem is able to solve, while PURRS
solves and verifies it.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-15 18:19:53
Modified files:
src : compute_exact_solution.cc
Log message:
Modified the calls to the function `compute_symbolic_sum()'
adding the argument `lower_bound_sum'.
Added a call to the function `simplify_factorials_and_exponentials()'
in the method `solve_variable_coeff_order_1()'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…
