## [Maxima-commits] CVS: maxima/share/contrib/solve_rec rtest_simplify_sum.mac, 1.10, 1.11 simplify_sum_test.mac, 1.5, 1.6

 [Maxima-commits] CVS: maxima/share/contrib/solve_rec rtest_simplify_sum.mac, 1.10, 1.11 simplify_sum_test.mac, 1.5, 1.6 From: Andrej Vodopivec - 2008-08-28 09:37:14 ```Update of /cvsroot/maxima/maxima/share/contrib/solve_rec In directory sc8-pr-cvs16.sourceforge.net:/tmp/cvs-serv29173 Modified Files: rtest_simplify_sum.mac simplify_sum_test.mac Log Message: Adding new tests. Index: rtest_simplify_sum.mac =================================================================== RCS file: /cvsroot/maxima/maxima/share/contrib/solve_rec/rtest_simplify_sum.mac,v retrieving revision 1.10 retrieving revision 1.11 diff -u -d -r1.10 -r1.11 --- rtest_simplify_sum.mac 2 Jul 2008 05:44:29 -0000 1.10 +++ rtest_simplify_sum.mac 28 Aug 2008 09:37:08 -0000 1.11 @@ -14,6 +14,7 @@ if length(ass)>0 then apply(assume, ass), cs : simplify_sum(sm), for f in smp do cs : apply(f, [cs]), + if length(ass)>0 then apply(forget, ass), ratsimp(cs-ans) ), 0 @@ -197,6 +198,30 @@ 0; test_sum( + sum(binomial(n,4*k),k,0,inf), + [], + true, + [rectform], + (2*2^(n/2)*cos((%pi*n)/4)+2^n)/4 + ); +0; + +(declare(n, integer), load(orthopoly), 0); +0; + +test_sum( + sum(binomial(n, k)/binomial(2*n, k)/k!*(2*x)^k, k, 0, inf), + [n>0], + true, + [lambda([u], ev(u, gen_laguerre))], + (-1)^n*gen_laguerre(n,-2*n-1,2*x)/binomial(2*n,n) + ); +0; + +(kill(n), 0); +0; + +test_sum( sum((n^2+n+1)/(n^4-2*n^2+1),n,2,inf), [], true, Index: simplify_sum_test.mac =================================================================== RCS file: /cvsroot/maxima/maxima/share/contrib/solve_rec/simplify_sum_test.mac,v retrieving revision 1.5 retrieving revision 1.6 diff -u -d -r1.5 -r1.6 --- simplify_sum_test.mac 13 Jun 2008 16:35:14 -0000 1.5 +++ simplify_sum_test.mac 28 Aug 2008 09:37:09 -0000 1.6 @@ -175,13 +175,33 @@ )\$ test_sum( + sum(binomial(n,4*k),k,0,inf), + [], + true, + [rectform] +)\$ + +(assume(n>0), declare(n, integer), 0); +0; + +test_sum( + sum(binomial(n, k)/binomial(2*n, k)/k!*(2*x)^k, k, 0, inf), + [], + true, + [] + ); +0; + +(kill(n), 0); +0; + +test_sum( sum((n^2+n+1)/(n^4-2*n^2+1),n,2,inf), [], true, [ratsimp, multthru] )\$ - test_sum( sum(1/n/(2*n+1),n,1,inf), [], ```

 [Maxima-commits] CVS: maxima/share/contrib/solve_rec rtest_simplify_sum.mac, 1.10, 1.11 simplify_sum_test.mac, 1.5, 1.6 From: Andrej Vodopivec - 2008-08-28 09:37:14 ```Update of /cvsroot/maxima/maxima/share/contrib/solve_rec In directory sc8-pr-cvs16.sourceforge.net:/tmp/cvs-serv29173 Modified Files: rtest_simplify_sum.mac simplify_sum_test.mac Log Message: Adding new tests. Index: rtest_simplify_sum.mac =================================================================== RCS file: /cvsroot/maxima/maxima/share/contrib/solve_rec/rtest_simplify_sum.mac,v retrieving revision 1.10 retrieving revision 1.11 diff -u -d -r1.10 -r1.11 --- rtest_simplify_sum.mac 2 Jul 2008 05:44:29 -0000 1.10 +++ rtest_simplify_sum.mac 28 Aug 2008 09:37:08 -0000 1.11 @@ -14,6 +14,7 @@ if length(ass)>0 then apply(assume, ass), cs : simplify_sum(sm), for f in smp do cs : apply(f, [cs]), + if length(ass)>0 then apply(forget, ass), ratsimp(cs-ans) ), 0 @@ -197,6 +198,30 @@ 0; test_sum( + sum(binomial(n,4*k),k,0,inf), + [], + true, + [rectform], + (2*2^(n/2)*cos((%pi*n)/4)+2^n)/4 + ); +0; + +(declare(n, integer), load(orthopoly), 0); +0; + +test_sum( + sum(binomial(n, k)/binomial(2*n, k)/k!*(2*x)^k, k, 0, inf), + [n>0], + true, + [lambda([u], ev(u, gen_laguerre))], + (-1)^n*gen_laguerre(n,-2*n-1,2*x)/binomial(2*n,n) + ); +0; + +(kill(n), 0); +0; + +test_sum( sum((n^2+n+1)/(n^4-2*n^2+1),n,2,inf), [], true, Index: simplify_sum_test.mac =================================================================== RCS file: /cvsroot/maxima/maxima/share/contrib/solve_rec/simplify_sum_test.mac,v retrieving revision 1.5 retrieving revision 1.6 diff -u -d -r1.5 -r1.6 --- simplify_sum_test.mac 13 Jun 2008 16:35:14 -0000 1.5 +++ simplify_sum_test.mac 28 Aug 2008 09:37:09 -0000 1.6 @@ -175,13 +175,33 @@ )\$ test_sum( + sum(binomial(n,4*k),k,0,inf), + [], + true, + [rectform] +)\$ + +(assume(n>0), declare(n, integer), 0); +0; + +test_sum( + sum(binomial(n, k)/binomial(2*n, k)/k!*(2*x)^k, k, 0, inf), + [], + true, + [] + ); +0; + +(kill(n), 0); +0; + +test_sum( sum((n^2+n+1)/(n^4-2*n^2+1),n,2,inf), [], true, [ratsimp, multthru] )\$ - test_sum( sum(1/n/(2*n+1),n,1,inf), [], ```