[PURRS-devel] purrs/tests multivar_driver.cc

Andrea Pescetti pescetti at cs.unipr.it
Thu Jan 24 00:41:17 CET 2008


CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	pescetti at cs.unipr.it	2008-01-24 00:41:17

Modified files:
	tests          : multivar_driver.cc 

Log message:
	We can now always restore the original arity after resolution of
	the auxiliary recurrence.
	Then we can apply initial conditions in a quite general fashion;
	however, in the "constant difference" case, initial condition can't
	always be replaced, since this would require a preliminary analysis
	to prove well-definedness of initial conditions, as well as a smart
	handling of the max() and min() operators.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.diff?cvsroot=purrs&r1=1.24&r2=1.25




More information about the PURRS-devel mailing list