[PURRS-devel] purrs/src Recurrence.cc rr_classifier.cc

[Tatiana Zolo]

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at cs.unipr.it	2003-09-30 17:09:13

Modified files:
	src            : Recurrence.cc rr_classifier.cc 

Log message:
	Several improvements to the function `rewrite_non_linear_recurrence()'
	and `classification_summand()': now the simple case of non-linear recurrence
	`x(n) = c x(n-1)^a' (with `a' and `c' constants, `a != 1') is recognised.
	In the aforesaid simple case of non-linear recurrence
	`Recurrence::compute_non_linear_recurrence()' returns immediately
	the solution without to build and to solve a linear recurrence.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.103&r2=1.104
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.62&r2=1.63