[PURRS-devel] purrs/tests heap

[Tatiana Zolo]

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at 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=purrs&r1=1.171&r2=1.172