CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@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?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cv...