CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-02-18 19:21:07
Modified files:
src : finite_order.cc
Log message:
Some improvements in the functions `compute_symbolic_sum()'
and `subs_to_sum_roots_and_bases()' in the case of second order
recurrences with all the bases of the exponentials occurring in the
non-homogeneous term different from all the roots of the
characteristic equation.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-02-17 16:58:06
Modified files:
src : Recurrence.cc
Log message:
Fixed a bug in the methods `Recurrence::exact_solution()',
`Recurrence::lower_bound()' and `Recurrence::upper_bound()':
we have forgotten to call the method
`Expr::replace_system_generated_symbols()' on not symbolic solutions.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-02-17 16:57:18
Modified files:
src : verify.cc
Log message:
Improved the method `validate_initial_conditions()' in the case
of not symbolic solution.
Minor bug fixed in the method `verify_finite_order()' in the case
of not symbolic solution.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…
