CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-06-26 09:46:48
Modified files:
src : compute_bounds.cc
Log message:
Several improvements in the computation of lower bounds and upper bounds:
beyond to the division between polynomial part and non-polynomial part
of the non homogeneous term, now these two part are ulteriorly
divided in many parts how many are their addends, so that is more probable
to apply the sharper bounds.
Fixed some little errors.
Added comments.
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-25 10:34:37
Modified files:
src : simplify.cc
Log message:
Extended the function `simplify_sum()': now splits the sum
in many sums how many are the addends of the sum.
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-24 18:51:29
Modified files:
src : compute_bounds.cc
Log message:
Added the call to the function `simplify_ex_for_output()'
in the function `add_term_with_initial_condition()'.
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-24 11:19:45
Modified files:
src : compute_bounds.cc
Log message:
Fixed a bug in the case of lower bounds
for `g(n) = n^k' with `0 < k < 1'.
Added lower bounds for `g(n) = n^k*log(n)'.
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-23 14:41:08
Modified files:
demos : purrs_rrs_cgi.cc
Log message:
Now all lower-case letters apart
from "e", "n" and "x" now denote a parameter.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…
