September 2002 - PURRS-devel

purrs/src Makefile.am
by Tatiana Zolo 18 Sep '02

18 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-18 16:10:41 Modified files: src : Makefile.am Log message: Updated to include gosper.cc and gosper.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo…

1 0

purrs/src gosper.cc gosper.hh
by Tatiana Zolo 18 Sep '02

18 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-18 16:09:35 Added files: src : gosper.cc gosper.hh Log message: Implementation of Gosper's algorithm. Input and output (step 1 and step 4) still missing. Patches: 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/gosper.hh.diff?cvsroot=…

1 0

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

18 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-18 16:06:51 Modified files: src : util.hh util.cc Log message: Added functions for the manipulation of polynomials: general_gcd() computes the gcd of polynomials with possibly rational coefficients. convert_to_integer_polynomial() converts a polynomial with possibly rational coefficients into its associate with integer coefficients. resultant() computes the resultant of two polynomials. These functions will be used in the new file gosper.cc. 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 alg_eq_solver.hh alg_eq_solver.cc
by Tatiana Zolo 18 Sep '02

18 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-18 16:02:38 Modified files: src : alg_eq_solver.hh alg_eq_solver.cc Log message: The function `find_divisors()' is now public, because it will be used by the new file gosper.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…

1 0

purrs TODO.tex
by Alessandro Zaccagnini 16 Sep '02

16 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2002-09-16 16:56:18 Modified files: . : TODO.tex Log message: Symbolism for sums, products and hypergeometric functions required. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/TODO.tex.diff?cvsroot=purrs…

1 0

[Fwd: gcd() and lcm()]
by Alessandro Zaccagnini 16 Sep '02

16 Sep '02

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 13 Sep '02

13 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-13 20:10:55 Modified files: src : rr_solver.cc Log message: When among the arguments of the functions there is the vector `coefficients' or the vector `roots', removed the useless argument `order': in fact `order' is equal to `coefficients.size()' or it can be found summing the roots' multiplicity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 13 Sep '02

13 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-13 17:10:42 Modified files: src : rr_solver.cc Log message: Improved the function `build_characteristic_equation()' removing the useless argument `order' because `order = coefficients.size()-1'. 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 13 Sep '02

13 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-13 13:39:55 Modified files: tests : recurrences Log message: Added the solution for a recurrence that the previous version of rr_solver.cc solved without success. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 13 Sep '02

13 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-13 13:36:59 Modified files: src : rr_solver.cc Log message: Fixed a bug in the function 'return_sum()' called by 'compute_symbolic_sum()': when we subtract to \p symbolic_sum the first terms in according to the order we must do q_k.subs(k == j) * pow(alpha, j) * pow(lambda, -j) instead of q_k.subs(k == j) * alpha * pow(lambda, -1). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0