CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-15 18:47:28
Modified files:
tests : heap
Log message:
Added an "indeterminate" recurrence.
Changed the mark to the recurrence `x(n) = x(n)*x(n)' from `yv'
to `I'.
Changed the mark to the recurrence `x(n) = 2^x(n)' from `k' to `K'.
Removed the line
yv x(n/2)*x(n/2)
(this recurrence is already in heap marked with `ul').
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 2004-01-15 18:46:35
Modified files:
src : rr_classifier.cc
Log message:
Fixed a bug in the function `rewrite_non_linear_recurrence()'.
Several improvements to the function `find_non_linear_term()'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-15 08:57:22
Modified files:
src : Recurrence.defs.hh Recurrence.cc
Log message:
Substituted the function `substituted_i_c_shifting()' with
`compute_solution_on_i_c()', which uses the method of linear
systems.
Allowed initial conditions also in the case of non-linear
recurrences (the values of these initial conditions must be
non-negative).
Minor changes regarding the improvements to the function
`substitute_x_function()'.
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.cc.diff?cvsr…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-15 08:56:41
Modified files:
src : rr_classifier.cc
Log message:
Minor changes consequently to the improvements to the function
`substitute_x_function()'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-14 10:45:38
Modified files:
tests : heap
Log message:
Changed the mark from `y' to `'yv' to recurrences of order 5 or 6
that are solved with the order reduction method.
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 2004-01-14 10:43:49
Modified files:
src : verify.cc
Log message:
Fixed a bug in the function `verify_new_method_const_coeff()'.
Lowered the threshold beyond which the solution of recurrences
that are solved with the order reduction method is not expanded.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-14 10:02:34
Modified files:
src : finite_order.cc
Log message:
Added a FIXME and a part of commented code that could be better for the
simplifications, but it is not clear if it is more efficient.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2004-01-12 15:28:02
Modified files:
tests : heap
Log message:
Changed the mark from `yv' to `y' to 4 recurrences of order 5
solved with the order reduction method.
The system has not success in the validation of their solutions
because there are functions `sin()' that the system is not
able to simplify.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…
