CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-06-09 10:02:45
Modified files:
src : simplify.cc
Log message:
Generalized the simplifications on factorials to all symbols (not only
to the symbol `Recurrence::n').
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-06-06 11:04:54
Modified files:
src : Recurrence.cc
Log message:
In the case of the non-linear recurrence, copied the blackboard of
the associated linear recurrence in that one of the non-linear 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-06-06 10:01:05
Modified files:
src : Recurrence.cc
Log message:
Tested the flag `is_classified' before to do the classification
on the 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-06-06 09:59:39
Modified files:
src : rr_classifier.cc
Log message:
Set up to "true" the flag `is_classified' at the end of the function
`classify()'.
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 2003-06-05 20:24:52
Modified files:
src : Recurrence.cc
Log message:
Added to the methods `compute_exact_solution()', `compute_lower_bound()'
and `compute_upper_bound()' the case of linear recurrences of infinite
order.
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-06-05 20:24:35
Modified files:
src : rr_classifier.cc
Log message:
Modified the classifier so that it return `SUCCESS' also in the
case of the linear recurrence of infinite order that we can transform in a
recurrence of the first order with variable coefficient.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…
