CVSROOT: /cvs/purrs
Module name: purrs
Changes by: roberto(a)cs.unipr.it 2003-01-08 22:03:17
Modified files:
tests : heap
Log message:
Added a new recurrence coming from a complexity analysis problem
(number of 1's in the binary representation of n).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-01-08 16:54:43
Modified files:
src : Expr.cc
Log message:
Fixed a bug in `prod_eval()':
the property
\prod_{k = a}^b \alpha f(k) = \alpha^{b-a+1} \prod_{k = a}^b f(k),
where \alpha does not depend from k
is now applied correctly.
Corrected also the comment.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…