- PURRS-devel - BUGSENG Mailman

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

11 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-11 11:02:49 Modified files: src : numerator_denominator.cc numerator_denominator.hh Log message: Improved the void function `transform_in_single_fraction() renamed `numerator_denominator_purrs()' and became non-static. 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/numerator_denominator.h…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh gosper. ...
by Tatiana Zolo 10 Nov '02

10 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-10 12:41:17 Modified files: src : Expr.defs.hh Expr.inlines.hh gosper.cc rr_solver.cc util.cc Log message: Used PURRS functions in order to compute numerator and denominator of expressions. Removed methods `numerator()' and `denominator()'. 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/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/util.cc.diff?cvsroot=pu…

1 0

purrs/src rr_solver.cc Recurrence.defs.hh Recu ...
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 11:57:55 Modified files: src : rr_solver.cc Recurrence.defs.hh Recurrence.cc Log message: Fixed `substitute_auxiliary_definition()' and renamed into `substitute_auxiliary_definitions()'. Patches: 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/Recurrence.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

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