- PURRS-devel - BUGSENG Mailman

purrs/src simplify.cc
by Tatiana Zolo 08 Nov '02

08 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-08 13:28:09 Modified files: src : simplify.cc Log message: Fixed a bug in the function `collect_same_base()'. 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 07 Nov '02

07 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-07 18:52:28 Modified files: src : Recurrence.cc Log message: Implemented `dump()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs demos/purrs_rrs_cgi.cc tests/rrs_driver. ...
by Tatiana Zolo 07 Nov '02

07 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-07 18:51:17 Modified files: demos : purrs_rrs_cgi.cc tests : rrs_driver.cc src : Recurrence.defs.hh Recurrence.inlines.hh rr_solver.cc Log message: Progresses in order to use one copy of the symbol `n'. Added, but commented, the function `substitute_non_rational_roots_with_symbols()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv… 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 alg_eq_solver.hh alg_eq_solver.cc
by Tatiana Zolo 07 Nov '02

07 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-07 18:44:13 Modified files: src : alg_eq_solver.hh alg_eq_solver.cc Log message: Added a new private member to class `Polynomial_Root' that says if the root of the equation is rational or non-rational. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Roberto Bagnara 06 Nov '02

06 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-06 18:44:36 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Now Recurrence::get_auxiliary_definition(const Symbol& z) returns the expression `z' if there is no auxiliary definition for `z'. 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/tests rrs_driver.cc
by Tatiana Zolo 06 Nov '02

06 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-06 18:42:56 Modified files: tests : rrs_driver.cc Log message: Use the unique copy of the symbol `n'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Roberto Bagnara 06 Nov '02

06 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-06 18:22:07 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Initial implementation of Recurrence's blackboard: new methods Symbol insert_auxiliary_definition(const Expr& e) and Expr get_auxiliary_definition(const Symbol& z). 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 Symbol.defs.hh Symbol.inlines.hh
by Roberto Bagnara 06 Nov '02

06 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-06 18:20:52 Modified files: src : Symbol.defs.hh Symbol.inlines.hh Log message: Added std::string Symbol::get_name() const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.inlines.hh.diff?…

1 0

purrs/src numerator_denominator.cc
by Tatiana Zolo 06 Nov '02

06 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-06 17:58:52 Modified files: src : numerator_denominator.cc Log message: Improved main functions `transform_in_single_fraction()', `numerator()' and `denominator()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh rr_solv ...
by Tatiana Zolo 06 Nov '02

06 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-06 15:44:30 Modified files: src : Expr.defs.hh Expr.inlines.hh rr_solver.cc Log message: Removed method `normalize()' and substituted it with function `transform_in_single_fraction()'. 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/rr_solver.cc.diff?cvsro…

1 0