[PURRS-devel] purrs/tests multivar_driver.cc
pescetti at cs.unipr.it
Thu Jan 24 00:41:17 CET 2008
Module name: purrs
Changes by: pescetti at cs.unipr.it 2008-01-24 00:41:17
tests : multivar_driver.cc
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