[PURRS-devel] purrs/src Recurrence.defs.hh compute_bounds.cc ...

[Tatiana Zolo]

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at 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