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

Tatiana Zolo zolo at spartacus.cs.unipr.it
Tue Sep 30 17:09:13 CEST 2003

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.


More information about the PURRS-devel mailing list