July 2003 - PURRS-devel - BUGSENG Mailman

purrs/tests heap
by Tatiana Zolo 02 Jul '03

02 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-02 13:11:54 Modified files: tests : heap Log message: Added several functional equations. Changed the mark to 2 functional equations from `ulv' to `ul' because now they are approximated with the sharp bounds. 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 02 Jul '03

02 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-02 13:10:24 Modified files: src : compute_bounds.cc Log message: Several improvements in the computation of the lower bounds and the upper bounds after the introduction of the methods that find constant functions (e.g. log(2)) and constant powers (e.g. sqrt(3)). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src Expr.defs.hh Expr.cc
by Tatiana Zolo 02 Jul '03

02 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-02 13:10:05 Modified files: src : Expr.defs.hh Expr.cc Log message: Added the methods `Expr::is_a_constant_power()' and `Expr::is_a_constant_function()'. Improved the function `substitute_critical_ex()'. 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.cc.diff?cvsroot=pu…

1 0

purrs/tests heap
by Tatiana Zolo 01 Jul '03

01 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-01 18:12:17 Modified files: tests : heap Log message: Added a recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src finite_order.cc
by Tatiana Zolo 01 Jul '03

01 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-01 18:11:57 Modified files: src : finite_order.cc Log message: Fixed a bug in the function `compute_sum_with_gosper_algorithm()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 01 Jul '03

01 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-01 14:23:05 Modified files: src : compute_bounds.cc Log message: Small improvement in the function `compute_bounds_for_exp_function()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/tests heap
by Tatiana Zolo 01 Jul '03

01 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-01 14:21:00 Modified files: tests : heap Log message: Changed the mark to a recurrence from `E' to `yv'. Changed the mark to another recurrence from `n' to `X'. Added a functional equation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src gosper.cc
by Tatiana Zolo 01 Jul '03

01 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-01 14:06:12 Modified files: src : gosper.cc Log message: Fixed a bug in the function `compute_resultant_and_its_roots()': called the method `Expr::ex_to_number()' only if we are sure that the expression is numeric. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…

1 0

purrs/src Expr.cc
by Tatiana Zolo 01 Jul '03

01 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-01 12:32:02 Modified files: src : Expr.cc Log message: Fixed a bug in the function `substitute_critical_ex()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src simplify.cc finite_order.cc
by Tatiana Zolo 01 Jul '03

01 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-01 09:40:43 Modified files: src : simplify.cc finite_order.cc Log message: When possible, used `Number::exact_pwr()' instead of `Expr::pwr()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0