CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-02 17:27:11
Modified files:
src : compute_bounds.cc
Log message:
Temporarily commented the sharp lower bounds in the cases
`g(n) = n^k' or `g(n) = n^k log(n)': now is directly used
the theorem in order to compute the lower bounds in the
aforesaid cases.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-02 13:11:54
Modified files:
tests : heap
Log message:
Added several functional equations.
Changed the mark to 2 functional equations from `ulv' to `ul'
because now they are approximated with the sharp bounds.
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-07-02 13:10:24
Modified files:
src : compute_bounds.cc
Log message:
Several improvements in the computation of the lower
bounds and the upper bounds after the introduction
of the methods that find constant functions (e.g. log(2))
and constant powers (e.g. sqrt(3)).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-01 14:21:00
Modified files:
tests : heap
Log message:
Changed the mark to a recurrence from `E' to `yv'.
Changed the mark to another recurrence from `n' to `X'.
Added a functional equation.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…
