- PURRS-devel - BUGSENG Mailman

purrs/tests simpl_tests
by Tatiana Zolo 04 Sep '03

04 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-04 12:33:41 Modified files: tests : simpl_tests Log message: Added two new expressions containing binomials. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src compute_exact_solution.cc gosper.cc ...
by Tatiana Zolo 04 Sep '03

04 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-04 12:32:13 Modified files: src : compute_exact_solution.cc gosper.cc simplify.cc simplify.hh Log message: Among the simplifications added the function `rewrite_binomials()'. Renamed the function `simplify_factorials_and_exponentials()' in `simplify_binomials_factorials__exponentials()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.… 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/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo…

1 0

purrs/tests simplify_driver.cc
by Tatiana Zolo 04 Sep '03

04 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-04 12:27:58 Modified files: tests : simplify_driver.cc Log message: Added the possibility to use also the letters `x' and `e'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.di…

1 0

purrs/tests simplify_driver.cc
by Tatiana Zolo 04 Sep '03

04 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-04 11:59:04 Modified files: tests : simplify_driver.cc Log message: Now all parameters, except to `n', `x' and `e', are allowed. 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 Expr.cc
by Tatiana Zolo 04 Sep '03

04 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-04 11:54:31 Modified files: src : Expr.defs.hh Expr.inlines.hh Expr.cc Log message: Removed the function `Expr::binomial()' that called the function `binomial()' of GiNaC. Added the new symbolic function `binom()' and the three functions `binom_eval()', `binom_evalf()' and `binom_deriv()'. 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/tests simpl_tests
by Tatiana Zolo 03 Sep '03

03 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-03 18:30:00 Modified files: tests : simpl_tests Log message: Added some expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src simplify.cc
by Tatiana Zolo 03 Sep '03

03 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-03 18:29:16 Modified files: src : simplify.cc Log message: Some improvements about factorials' simplifications, above all when the expression to simplify contain parameters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src gosper.cc
by Tatiana Zolo 03 Sep '03

03 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-03 18:15:22 Modified files: src : gosper.cc Log message: Improved the function `gosper_step_two()': called the function `convert_to_integer_polynomial()' only if really necessary. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…

1 0

purrs/src util.hh util.cc
by Tatiana Zolo 03 Sep '03

03 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-03 18:13:37 Modified files: src : util.hh util.cc Log message: Improved the two functions `convert_to_integer_polynomial()': now also parameters are allowed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/src Expr.defs.hh Expr.cc
by Tatiana Zolo 03 Sep '03

03 Sep '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-09-03 17:49:37 Modified files: src : Expr.defs.hh Expr.cc Log message: Fixed the method `Expr::is_rational_scalar_representation()'. 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