CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini@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=purr...