From: Andrej V. <an...@us...> - 2007-01-16 10:11:15
|
Update of /cvsroot/maxima/maxima/doc/info In directory sc8-pr-cvs7.sourceforge.net:/tmp/cvs-serv31344 Modified Files: solve_rec.texi Log Message: Renamed closed_form to simplify_sum. Index: solve_rec.texi =================================================================== RCS file: /cvsroot/maxima/maxima/doc/info/solve_rec.texi,v retrieving revision 1.6 retrieving revision 1.7 diff -u -d -r1.6 -r1.7 --- solve_rec.texi 20 Nov 2006 09:04:52 -0000 1.6 +++ solve_rec.texi 16 Jan 2007 10:11:09 -0000 1.7 @@ -26,36 +26,6 @@ @node Definitions for solve_rec, , Introduction to solve_rec, solve_rec @section Definitions for solve_rec -@deffn {Function} closed_form (@var{expr}) - -Tries to simplify all sums appearing in @var{expr} to a closed form. - -@code{closed_form} uses Gosper and Zeilberger algorithms to simplify sums. - -To use this function first load the @code{closed_form} package with -@code{load(closed_form)}. - -Example: - -@example -(%i1) load("closed_form")$ -(%i2) sum(binom(n+k,k)/2^k, k, 0, n) + sum(binom(2*n, 2*k), k, 0, n); - n n - ==== ==== - \ binomial(n + k, k) \ -(%o2) > ------------------ + > binomial(2 n, 2 k) - / k / - ==== 2 ==== - k = 0 k = 0 -(%i3) closed_form(%); - n - 4 n -(%o3) -- + 2 - 2 -@end example - -@end deffn - @deffn {Function} reduce_order (@var{rec}, @var{sol}, @var{var}) Reduces the order of linear recurrence @var{rec} when a particular solution @@ -117,6 +87,36 @@ @end defvr +@deffn {Function} simplify_sum (@var{expr}) + +Tries to simplify all sums appearing in @var{expr} to a closed form. + +@code{simplify_sum} uses Gosper and Zeilberger algorithms to simplify sums. + +To use this function first load the @code{simplify_sum} package with +@code{load(simplify_sum)}. + +Example: + +@example +(%i1) load("simplify_sum")$ +(%i2) sum(binom(n+k,k)/2^k, k, 0, n) + sum(binom(2*n, 2*k), k, 0, n); + n n + ==== ==== + \ binomial(n + k, k) \ +(%o2) > ------------------ + > binomial(2 n, 2 k) + / k / + ==== 2 ==== + k = 0 k = 0 +(%i3) simplify_sum(%); + n + 4 n +(%o3) -- + 2 + 2 +@end example + +@end deffn + @deffn {Function} solve_rec (@var{eqn}, @var{var}, [@var{init}]) Solves for hypergeometrical solutions to linear recurrence @var{eqn} with polynomials coefficient in variable @var{var}. Optional arguments @var{init} @@ -244,13 +244,13 @@ where summand is hypergeometrical in @var{k} and @var{n}. If @var{lo} and @var{hi} are omited, they are assumed to be @code{lo = -inf} and @code{hi = inf}. -To use this function first load the @code{closed_form} package with -@code{load(closed_form)}. +To use this function first load the @code{simplify_sum} package with +@code{load(simplify_sum)}. Example: @example -(%i1) load("closed_form")$ +(%i1) load("simplify_sum")$ (%i2) summand: binom(n,k); (%o2) binomial(n, k) (%i3) summand_to_rec(summand,k,n); |