[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