[PURRS-devel] purrs/tests heap
Alessandro Zaccagnini
zaccagnini at cs.unipr.it
Fri Apr 8 11:39:28 CEST 2005
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zaccagnini at cs.unipr.it 2005-04-08 11:39:28
Modified files:
tests : heap
Log message:
Modified the marking of several recurrences, as follows:
- recurrences containing the decimal point in constants are now marked "M"
- some "infinite order" recurrences that purrs solves correctly but
can not verify are now marked "y"
- some linear recurrences with constant coefficients of order 5 or
more, whose characteristic equation can not be solved, are now
marked "n"
- some linear recurrences with constant coefficients of order 1 or 2
whose non-homogeneous part is not a linear combination of
polynomials and exponentials, but whose solution purrs is able to
express using symbolic sums, are now marked either "yv" or "y"
- some non-linear recurreneces that purrs linearizes are now marked "y"
- some linear recurrences with constant coefficients of order 3 or 4
whose solution can not be verified are now marked "y" instead of
"yv"
After this process, several recurrences turned out to be exact
duplicates, and have been removed.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=purrs&r1=1.202&r2=1.203
More information about the PURRS-devel
mailing list