[PURRS-devel] purrs/src Recurrence.cc

[Tatiana Zolo]

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at cs.unipr.it	2003-12-12 09:56:33

Modified files:
	src            : Recurrence.cc 

Log message:
	Activated the new verification's process on linear finite
	order recurrences with constant coefficients (which are not solved by
	the order reduction method).
	Added some FIXME.
	The time of the "make check" is remarkably improved.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsroot=purrs&r1=1.146&r2=1.147