June 2003 - PURRS-devel - BUGSENG Mailman

purrs/src compute_bounds.cc
by Tatiana Zolo 18 Jun '03

18 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-18 16:29:31 Modified files: src : compute_bounds.cc Log message: In the function `compute_non_homogeneous_part()' substituted `base.is_positive_integer()' with `base.is_positive()' because we find the sharper bounds also for the exponentials with base a positive rational (non-integer) number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 17 Jun '03

17 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-17 19:05:53 Modified files: src : compute_bounds.cc Log message: Fixed bounds about logarithm functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 17 Jun '03

17 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-17 17:08:22 Modified files: src : Recurrence.cc Log message: Now the initial conditions `x(0)' and `x(1)' specified by the user are substituted. There are other things again to fix about initial conditions in the case of recurrence relations of infinite order. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 17 Jun '03

17 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-17 15:29:28 Modified files: src : Recurrence.cc Log message: Fixed a bug in `compute_lower_bound()': removed a wrong call to an upper bound not yet computed. Fixed the analogous bug in `compute_upper_bound()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests heap
by Tatiana Zolo 17 Jun '03

17 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-17 11:34:29 Modified files: tests : heap Log message: Added a recurrence. Changed the mark to 2 recurrences from `n' to `ul' and `ulv'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 17 Jun '03

17 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-17 11:33:38 Modified files: src : compute_bounds.cc Log message: Improved the computation of sharper bounds for special functions adding the cases of functions with the sign opposed to those of the functions already considered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 13 Jun '03

13 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-13 16:53:43 Modified files: src : compute_bounds.cc Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/tests heap
by Tatiana Zolo 13 Jun '03

13 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-13 12:19:25 Modified files: tests : heap Log message: Added two recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 13 Jun '03

13 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-13 12:19:04 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 `a n^k' with `k' positive rational (non-integer) number and `a' positive number. Several improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 12 Jun '03

12 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-12 17:17:51 Modified files: src : compute_bounds.cc Log message: Added a result in the case of "exponential" in the function `compute_bounds_for_exp_function()'. Several improvements and fixed some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0