CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-09 19:14:26
Modified files:
src : verify.cc
Log message:
Several changes in the function `verify_finite_order()':
now the solution of linear recurrences with constant coefficients
of order less or equal to 8 solved with the order reduction method
is "expanded" before proceeding with the verification's process.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…
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?…
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=…
