CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-06-23 12:22:52
Modified files:
src : Recurrence.inlines.hh
Log message:
Fixed a bug in the method `Recurrence::verify_exact_solution()'
caused from the fact that at the moment is not implemented the verification
in the case of linear recurrences of infinite order.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-06-23 11:12:47
Modified files:
src : Expr.cc
Log message:
Fixed `sum_evalf()' and `prod_evalf()' that now simply return
the function `sum' and `prod', respectively, stopping the recursive
evaluation with the function `hold()'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zaccagnini(a)cs.unipr.it 2003-06-21 10:52:32
Modified files:
tests : heap
Log message:
Added several new recurrences to cover all cases of the theoretical results
in divimprec.tex.
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-06-20 16:31:43
Modified files:
tests : heap
Log message:
Changed the mark to 8 functional equations from `ulv' to `ul'
because now the system uses the sharper bounds and, only for the lower,
the solution holds for `n >= beta' and not for `n >=1'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…
