October 2002 - PURRS-devel - BUGSENG Mailman

purrs/src rr_solver.cc
by Tatiana Zolo 19 Oct '02

19 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-19 13:53:44 Modified files: src : rr_solver.cc Log message: Added function `compute_alpha_factorial()' used for to solve first order recurrence with variable coefficients. Other little changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/tests recurrences
by Tatiana Zolo 19 Oct '02

19 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-19 13:49:11 Modified files: tests : recurrences Log message: Added recurrences containing factorials or rational functions that in the solution have the symbolic sum because not Gosper-summable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0

purrs/src gosper.cc
by Tatiana Zolo 19 Oct '02

19 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-19 13:47:12 Modified files: src : gosper.cc Log message: Introduced notation for the symbolic sum in the case of the sum is not Gosper-summable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…

1 0

purrs/tests simplify_driver.cc
by Roberto Bagnara 18 Oct '02

18 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-18 18:44:51 Modified files: tests : simplify_driver.cc Log message: No longer use Expr::is_equal(). Avoid using a Number to represent a small integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.di…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Tatiana Zolo 18 Oct '02

18 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-18 18:18:09 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Fixed two errors: changed `sum' in `prod'. 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 Constant.defs.hh Expr.defs.hh Expr.i ...
by Roberto Bagnara 18 Oct '02

18 Oct '02

1 0

purrs/src Expr.defs.hh Expr.inlines.hh Expr.cc
by Tatiana Zolo 18 Oct '02

18 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-18 17:47:00 Modified files: src : Expr.defs.hh Expr.inlines.hh Expr.cc Log message: Added the new symbolic function `prod(index, lower, upper, factor)'. 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/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Tatiana Zolo 18 Oct '02

18 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-18 17:08:24 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added method `Expr content(const Symbol& x) const'. 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 Expr.defs.hh Expr.inlines.hh Symbol. ...
by Roberto Bagnara 18 Oct '02

18 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-18 16:16:10 Modified files: src : Expr.defs.hh Expr.inlines.hh Symbol.defs.hh simplify.cc Log message: New operators for syntactic equality: bool operator==(const Expr&, const Symbol&), bool operator==(const Symbol&, const Expr&), and bool operator==(const Expr&, const Expr&). 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/Symbol.defs.hh.diff?cvs… 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 Number. ...
by Roberto Bagnara 18 Oct '02

18 Oct '02

1 0