- PURRS-devel - BUGSENG Mailman

purrs/src simplify.cc
by Tatiana Zolo 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-08 15:35:08 Modified files: src : simplify.cc Log message: Added `simplify_numer_denom()' at the end of the function `simplify_all()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 08 Jan '03

08 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-08 12:30:34 Modified files: src : Recurrence.cc Log message: Fixed a bug in `verify_solution()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests heap
by Roberto Bagnara 07 Jan '03

07 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-07 23:41:43 Modified files: tests : heap Log message: Two new recurrences added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 07 Jan '03

07 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-07 23:01:06 Modified files: tests : heap Log message: New recurrences (21) added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 07 Jan '03

07 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-07 01:36:45 Modified files: src : rr_solver.cc Log message: Improved `classification_recurrence()' and `classification_summand()': now the system recognizes the functional equations of the form `a * x(n/b) + p(n)' that will be solved from the function `approximate_functional_equation()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 07 Jan '03

07 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-07 01:27:49 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the method `bool is_unknown() const'. Added the methods for to approach to the private data of the class `Functional_Equation_Info'. Patches: 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/Recurrence.inlines.hh.d…

1 0

purrs/src Functional_Equation_Info.defs.hh Fun ...
by Tatiana Zolo 07 Jan '03

07 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-07 01:22:06 Modified files: src : Functional_Equation_Info.defs.hh Functional_Equation_Info.inlines.hh Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Inf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Inf…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh Rec ...
by Tatiana Zolo 06 Jan '03

06 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-06 19:00:36 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh rr_solver.cc Log message: Added the method `classification_recurrence()' that returns SUCCESS if the recurrence is linear and of finite order or if is the case of functional equation. Added the functions `solve_linear_finite_order()' and `approximate_functional_equation()' (the last is to be written). Added the pointer to `Functional_Equation_Info'. Added the methods `is_linear_finite_order()', `is_functional_equation()' and `set_functional_equation()'. Changed the structure of the function `solve_easy_cases()': now it calls the function `classification_recurrence()' and, in according with its result, calls `solve_linear_finite_order()' or `approximate_functional_equation()'. 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/Recurrence.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs TODO.tex
by Alessandro Zaccagnini 06 Jan '03

06 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2003-01-06 12:13:59 Modified files: . : TODO.tex Log message: Added an example on simplification of output expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/TODO.tex.diff?cvsroot=purrs…

1 0

purrs/src Recurrence.defs.hh Recurrence.inline ...
by Tatiana Zolo 28 Dec '02

28 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-28 11:21:09 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh rr_solver.cc Log message: Added the private data `inhomogeneous_term' to the class Recurrence and the private method `void set_inhomogeneous_term(const Expr& e) const'. Other minor changes. Patches: 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/Recurrence.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0