CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-02-07 13:35:06

Modified files: src : Recurrence.defs.hh compute_bounds.cc rr_classifier.cc

Log message: Improved `get_constant_divisor()': now returns true if the expression in input is of the form `n / d' with `d' a positive rational (it before returned true only if `d' were a positive integer). Expanded `approximate_functional_equation()' so that are approximated also functional equations of the form `a x(n/b) + p(n)' with `b' rational bigger than 1. Fixed a bug in the computation of the initial condition.

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/compute_bounds.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cv...