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?cvsroot=purrs&r1=1.60&r2=1.61 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?cvsroot=purrs&r1=1.11&r2=1.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.12&r2=1.13