November 2002 - PURRS-devel

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

purrs/src Makefile.am
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:41:42 Modified files: src : Makefile.am Log message: Added new files numerator_denominator.{hh, cc}. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo…

1 0

purrs/src numerator_denominator.hh numerator_d ...
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:40:33 Added files: src : numerator_denominator.hh numerator_denominator.cc Log message: Added functions in order to compute numerator or denominator of an expression and to transform an expression in a single fraction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c…

1 0

purrs/src simplify.cc
by Alessandro Zaccagnini 06 Nov '02

06 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2002-11-06 10:15:44 Modified files: src : simplify.cc Log message: A few changes and improvements in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0