November 2002 - PURRS-devel

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

09 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-09 10:37:20 Modified files: src : numerator_denominator.cc Log message: Fixed a problem adding call to the method `distribute_mul_over_add()' on expression before to transform it in a single fraction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c…

1 0

purrs/src Expr.defs.hh Expr.cc
by Tatiana Zolo 09 Nov '02

09 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-09 10:34:42 Modified files: src : Expr.defs.hh Expr.cc Log message: Added the method `distribute_mul_over_add()' that distributes multiplication over addition. 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.cc.diff?cvsroot=pu…

1 0

purrs/src rr_solver.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 20:14:18 Modified files: src : rr_solver.cc Log message: Added (commented) the call to the function `substitute_auxiliary_definition()'. Renamed `substitute_non_rational_roots_with_symbols()' into `substitute_non_rational_roots()'. 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.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 20:10:16 Modified files: src : Recurrence.defs.hh Recurrence.cc Log message: Added the public function of the class `Recurrence' `Expr substitute_auxiliary_definition(const Expr& e) const'. 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.cc.diff?cvsr…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
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 20:01:38 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added the method Symbol ex_to_symbol() const that returns the symbolic value of `*this'. 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

purrs/tests heap
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:34:23 Modified files: tests : heap Log message: Many recurrences passed from `E' to `y' but two passed from `y' to `E'. 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 08 Nov '02

08 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-08 13:31:48 Modified files: src : rr_solver.cc Log message: Activated the substitutions of the non-rational roots. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

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