CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zaccagnini(a)cs.unipr.it 2005-04-08 18:40:37
Modified files:
. : TODO.tex
Log message:
Added a list of desirable features of purrs.
The list is fairly broad and contains both minor improvements
(possibly suitable for some student's project) and major goals.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/TODO.tex.diff?cvsroot=purrs…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zaccagnini(a)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=pur…
