[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.


More information about the PURRS-devel mailing list