CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-12-12 09:12:01 Modified files: tests : heap Log message: Added 2 recurrences: - the first shows that the simplification on logarithms at the beginning of the classification's process is important in order to have the closed form of the solution (without these simplifications the solution contains an object `prod()'). - the second shows that the simplification on logarithms at the beginning of the classification's process are fundamental in order to recognize the non-linear recurrences that otherwise it would not be classified and solved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=purr...