CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-08-21 11:59:28
Modified files:
src : ep_decomp.cc
Log message:
Added the assertion `e.is_expanded()' at the beginning of the function
`exp_poly_decomposition()'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/ep_decomp.cc.diff?cvsro…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-08-19 20:30:46
Modified files:
tests : heap
Log message:
Changed the mark from `n' to `yv' to two infinite order recurrences
with `n' like upper bound of the sum.
Added other recurrences with lower and upper bound of the sum different
from `0' and `n-1', respectively.
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-08-19 20:29:03
Modified files:
src : Recurrence.cc
Log message:
Improved the function `compute_infinite_order_recurrence()': now the system
is able to solve also recurrences with infinite order with `n' like
upper bound of the sum and a positive integer (different from 0) like
lower bound of the sum.
Extended the validation's process of the solution also for the
aforesaid cases.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-08-19 20:25:34
Modified files:
src : Recurrence.defs.hh Recurrence.inlines.hh
Log message:
Added the private function `solve_new_infinite_order_rec()' that builds
and solves a recurrence of infinite order of which are known the
coefficient of the sum, the lower and the upper bound of the sum and
the inhomogeneous term.
Added the public methods in order to access to the date of
the class `Infinite_Order_Info' `upper_bound_sum'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…
