June 2003 - PURRS-devel - BUGSENG Mailman

purrs/tests simpl_tests
by Tatiana Zolo 24 Jun '03

24 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-24 18:37:58 Modified files: tests : simpl_tests Log message: Added one expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src simplify.cc
by Tatiana Zolo 24 Jun '03

24 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-24 18:36:25 Modified files: src : simplify.cc Log message: Fixed a bug in the function `simplify_expanded_ex_for_input()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

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

24 Jun '03

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?…

1 0

purrs/demos purrs_rrs_cgi.cc
by Tatiana Zolo 23 Jun '03

23 Jun '03

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…

1 0

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

23 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-23 12:23:47 Modified files: src : Recurrence.cc Log message: Minor changes in comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.inlines.hh
by Tatiana Zolo 23 Jun '03

23 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-23 12:22:52 Modified files: src : Recurrence.inlines.hh Log message: Fixed a bug in the method `Recurrence::verify_exact_solution()' caused from the fact that at the moment is not implemented the verification in the case of linear recurrences of infinite order. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…

1 0

purrs/src Expr.cc
by Tatiana Zolo 23 Jun '03

23 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-23 11:12:47 Modified files: src : Expr.cc Log message: Fixed `sum_evalf()' and `prod_evalf()' that now simply return the function `sum' and `prod', respectively, stopping the recursive evaluation with the function `hold()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Tatiana Zolo 23 Jun '03

23 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-23 09:58:40 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added the method `Expr unsafe_fp_approximation() const' that returns \p *this evaluated numerically. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv…

1 0

purrs/tests heap
by Alessandro Zaccagnini 21 Jun '03

21 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2003-06-21 10:52:32 Modified files: tests : heap Log message: Added several new recurrences to cover all cases of the theoretical results in divimprec.tex. 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 20 Jun '03

20 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-20 16:59:57 Modified files: src : compute_bounds.cc Log message: Added lower bound in the case `g(n) = n^k' with `0 < k < 1'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0