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…
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…
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…
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…
