June 2003 - PURRS-devel - BUGSENG Mailman

purrs/tests heap
by Tatiana Zolo 20 Jun '03

20 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-20 16:31:43 Modified files: tests : heap Log message: Changed the mark to 8 functional equations from `ulv' to `ul' because now the system uses the sharper bounds and, only for the lower, the solution holds for `n >= beta' and not for `n >=1'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 20 Jun '03

20 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-20 16:27:53 Modified files: src : compute_bounds.cc Log message: Added lower bound in the case `g(n) = n^k' with `k >= 1'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src compute_exact_solution.cc factorize. ...
by Tatiana Zolo 20 Jun '03

20 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-20 11:37:42 Modified files: src : compute_exact_solution.cc factorize.cc functional_equation.cc Log message: Modified the calls to the function `largest_positive_int_zero()'. 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/factorize.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.…

1 0

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

20 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-20 11:36:41 Modified files: src : util.hh util.cc Log message: Added a symbolic argument to the function `largest_positive_int_zero()' that indicates the symbol that represents the variable of the function that we are considering. 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 20 Jun '03

20 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-20 10:08:19 Modified files: src : Expr.defs.hh Expr.cc Log message: Fixed the method `Expr::is_integer_polynomial()' and its comment. 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 util.cc
by Tatiana Zolo 19 Jun '03

19 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-19 18:06:53 Modified files: src : util.cc Log message: Added the assertion `Expr::is_expanded()' at the beginning of the function `largest_positive_int_zero_on_expanded_ex()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs demos/purrs_eqs_cgi.cc src/alg_eq_solver ...
by Tatiana Zolo 19 Jun '03

19 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-19 17:34:02 Modified files: demos : purrs_eqs_cgi.cc src : alg_eq_solver.cc poly_factor.cc gosper.cc Log message: Fixed the calls to the new method `Expr::is_integer_polynomial()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_eqs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/poly_factor.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh Expr.cc
by Tatiana Zolo 19 Jun '03

19 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-19 17:32:36 Modified files: src : Expr.defs.hh Expr.inlines.hh Expr.cc Log message: Implemented the new methods `Expr::is_integer_scalar_representation()' and `Expr::is_integer_polynomial()' and removed the old `Expr::is_integer_polynomial()' that only tested the GiNaC's flag `GiNaC::info_flags::integer_polynomial'. 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 Number.defs.hh Number.inlines.hh
by Tatiana Zolo 19 Jun '03

19 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-19 16:36:15 Modified files: src : Number.defs.hh Number.inlines.hh Log message: Removed the useless method `Number::gamma()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.inlines.hh.diff?…

1 0

purrs/tests heap
by Tatiana Zolo 18 Jun '03

18 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-18 16:29:59 Modified files: tests : heap Log message: Added a functional equation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0