CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-06-11 18:10:39
Modified files:
src : compute_bounds.cc
Log message:
Added a case that had been forgotten, i.e., the special
result about the upper bound for the non-polynomial function
`n^k' with `k' positive rational (non-integer) number.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-06-11 18:06:15
Modified files:
src : functional_equation.cc
Log message:
Extended the capabilities of the function `is_non_decreasing_no_poly()'
that now consider also the non-polynomial function `n^k' with `k'
positive rational (non integer) number.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-06-10 13:07:10
Modified files:
src : rr_classifier.cc
Log message:
Added the call to the function `simplify_sum()' at the beginning of
the classification's process.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…
