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?…
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…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-09 10:06:47
Modified files:
src : Recurrence.defs.hh
Log message:
`gcd_among_decrements()' temporary put in a public section of the
class Recurrence.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…
