December 2002 - PURRS-devel

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

purrs/src Makefile.am Functional_Equation_Info ...
by Tatiana Zolo 27 Dec '02

27 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-27 15:45:20 Modified files: src : Makefile.am Added files: src : Functional_Equation_Info.cc Functional_Equation_Info.defs.hh Functional_Equation_Info.inlines.hh Functional_Equation_Info.types.hh Log message: Added the class containing the informations for the functional equation. 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… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo…

1 0

purrs/src numerator_denominator.cc rr_solver.cc
by Tatiana Zolo 27 Dec '02

27 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-27 12:37:33 Modified files: src : numerator_denominator.cc rr_solver.cc Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 27 Dec '02

27 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-27 10:45:00 Modified files: src : rr_solver.cc Log message: Fixed the problem about initial conditions for recurrences with variable coefficient. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh Rec ...
by Tatiana Zolo 26 Dec '02

26 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-26 17:51:03 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh rr_solver.cc Log message: Introduced a new private data to the class Recurrence: `bool recurrence_rhs_rewritten'. It is true if the recurrence has been rewritten, i. e., in the case there are null or negative decrements or if has been applied the order reduction; it is false in all the other cases. Inserted in the blackboard also the symbol used in the method of the order reduction. Improved `Recurrence::dump()'. 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/src util.cc util.hh
by Tatiana Zolo 22 Dec '02

22 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-22 18:49:28 Modified files: src : util.cc util.hh Log message: Removed the function `void clear(Expr_List& l)'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0

purrs/src Expr.cc Expr.defs.hh Expr.inlines.hh ...
by Tatiana Zolo 22 Dec '02

22 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-22 18:47:40 Modified files: src : Expr.cc Expr.defs.hh Expr.inlines.hh Recurrence.cc alg_eq_solver.cc compute_prod.cc gosper.cc rr_solver.cc simplify.cc sum_poly.cc Log message: The function `substitute_symbol_with_expression()' has been renamed `substitute()' and has been generalized: now it replaces expressions with expressions. Moreover, `substitute()' is now a method of the class `Expr'. Consequently, removed the methods `Expr subs(const Expr& x, const Expr& y) const' and `Expr subs(const Expr_List& x, const Expr_List& y) const' because their work is executed by the new method `substitute()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu… 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/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro… 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/sum_poly.cc.diff?cvsroo…

1 0

purrs/src Recurrence.defs.hh
by Roberto Bagnara 22 Dec '02

22 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-12-22 17:57:28 Modified files: src : Recurrence.defs.hh Log message: We stick to sequences of real numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/tests heap
by Tatiana Zolo 21 Dec '02

21 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-21 16:37:03 Modified files: tests : heap Log message: Added some recurrences with null or negative decrements: for four of these the solution's verification has not success. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Tatiana Zolo 21 Dec '02

21 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-21 16:34:08 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Removed the two different versions of the method `Expr::match()' and the method `Expr::wild()'. 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