June 2003 - PURRS-devel - BUGSENG Mailman

purrs/src Expr.defs.hh Expr.inlines.hh Number. ...
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 16:55:53 Modified files: src : Expr.defs.hh Expr.inlines.hh Number.defs.hh Number.inlines.hh Log message: Added the methods `Expr::gamma()', `Expr::is_the_gamma_function()' and `Number::gamma()'. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.inlines.hh.diff?…

1 0

purrs/tests heap
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 15:40:15 Modified files: tests : heap Log message: Added a functional equation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh com ...
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 12:41:06 Modified files: src : Recurrence.cc Recurrence.defs.hh compute_bounds.cc Log message: Reorganization of the resolution of functional equations separating the computation of the lower bound and the computation of the upper bound. Instead of the function `approximate_functional_equation()' that computed both bounds now there are two functions, `approximate_functional_equation_lower()' and `approximate_functional_equation_upper()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/tests heap
by Tatiana Zolo 11 Jun '03

11 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-11 18:58:57 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 compute_prod.cc
by Tatiana Zolo 11 Jun '03

11 Jun '03

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

1 0

purrs/tests heap
by Tatiana Zolo 11 Jun '03

11 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-11 18:12:02 Modified files: tests : heap Log message: Changed the mark to 4 recurrences from `n' to `ul'. 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 11 Jun '03

11 Jun '03

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

1 0

purrs/src functional_equation.cc
by Tatiana Zolo 11 Jun '03

11 Jun '03

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

1 0

purrs/tests heap rrs_driver.cc
by Alessandro Zaccagnini 11 Jun '03

11 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2003-06-11 15:41:21 Modified files: tests : heap rrs_driver.cc Log message: Added new expectation X for recurrences of "mixed" type. Behave as in the case of "bizarre" recurrences, or when they are expected not to be solved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh rr_ ...
by Tatiana Zolo 11 Jun '03

11 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-11 14:35:36 Modified files: src : Recurrence.cc Recurrence.defs.hh rr_classifier.cc Log message: Isolated the computation of the solution of infinite order recurrences in the new function `compute_infinite_order_recurrence()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0