CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-12-12 09:56:33
Modified files:
src : Recurrence.cc
Log message:
Activated the new verification's process on linear finite
order recurrences with constant coefficients (which are not solved by
the order reduction method).
Added some FIXME.
The time of the "make check" is remarkably improved.
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-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=pur…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-12-10 17:59:31
Modified files:
tests : heap
Log message:
Changed the mark from `yv' to `y' to 3 finite order recurrences
as result of the bug fixed in the validation of the solution.
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-12-10 16:37:26
Modified files:
src : Recurrence.cc
Log message:
Improved the function `substitute_i_c_shifting()' so that
it is allowed giving initial conditions with index greater
than 0 in the case of weighted-average recurrence.
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-12-10 10:14:32
Modified files:
src : Weighted_Average_Info.defs.hh
Weighted_Average_Info.inlines.hh
Log message:
Added a "struct" containing all the components necessary
to rebuilding the original recurrence before the
transformation of it in weighted-average recurrence.
In the private section of the class add a pointer to
this struct.
Moreover, added the public method for setting the struct and
other public methods in order to read its components.
Removed old methods.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.d…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.i…
