November 2002 - PURRS-devel

purrs/src simplify.cc
by Enea Zaffanella 13 Nov '02

13 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaffanella(a)cs.unipr.it 2002-11-13 10:41:20 Modified files: src : simplify.cc Log message: In simplify_on_output_ex, replaced a couple of calls to match and subs by calls to functor and apply. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

Automatic evaluation/simplification
by Roberto Bagnara 12 Nov '02

12 Nov '02

Yes, the FAQ says it is completely automatic. However, is there a way to switch it off? Forgive me for the very imprecise question. The situation is as follows: we have some monster expressions where we need to substitute a few thousands of symbol's occurrences with something else. We did that by implementing our own recursive tree traversal. However, we estimate that more than 80% of the time is spent in attempted simplifications by GiNaC (which we know are deemed to fail). Is there any way to implement this substitution process so as to avoid this big overhead? Thanks in advance Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

purrs/src Expr.defs.hh Expr.inlines.hh Recurre ...
by Roberto Bagnara 12 Nov '02

12 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-12 17:56:00 Modified files: src : Expr.defs.hh Expr.inlines.hh Recurrence.cc simplify.cc Log message: Do not expose the implementation details about functors. Renamed function_appl() to apply(). 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/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src Recurrence.cc simplify.cc
by Enea Zaffanella 12 Nov '02

12 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaffanella(a)cs.unipr.it 2002-11-12 16:48:11 Modified files: src : Recurrence.cc simplify.cc Log message: Removed three FIXME: now we create function applications without copying the function into temporaries. Isolated the special cases of `sum' and `prod' function applications. CVS :---------------------------------------------------------------------- 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/simplify.cc.diff?cvsroo…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Enea Zaffanella 12 Nov '02

12 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaffanella(a)cs.unipr.it 2002-11-12 16:40:24 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added methods to obtain the functor of a function application and to create a function application given a unary functor and the operand. Added boolean tests to check if an Expr is a `sum' or `prod' function application. 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/src Recurrence.cc
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 12:41:17 Modified files: src : Recurrence.cc Log message: Minor change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Expr.cc gosper.cc rr_solver.cc simpl ...
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 12:35:40 Modified files: src : Expr.cc gosper.cc rr_solver.cc simplify.cc Log message: When possible, used the function `numerator_denominator_purrs()' instead of `numerator_denominator()'. 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/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…

1 0

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