[PURRS-devel] purrs/src verify.cc

Tatiana Zolo zolo at spartacus.cs.unipr.it
Fri Jan 9 19:14:26 CET 2004

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at cs.unipr.it	2004-01-09 19:14:26

Modified files:
	src            : verify.cc 

Log message:
	Several changes in the function `verify_finite_order()':
	now the solution of linear recurrences with constant coefficients
	of order less or equal to 8 solved with the order reduction method
	is "expanded" before proceeding with the verification's process.


More information about the PURRS-devel mailing list