[Maxima-commits] CVS: maxima/share/contrib/solve_rec simplify_sum_test.mac, 1.1, 1.2 rtest_simplify_sum.mac, 1.3, 1.4

[Andrej V. <an...@us...>]

Update of /cvsroot/maxima/maxima/share/contrib/solve_rec
In directory sc8-pr-cvs16.sourceforge.net:/tmp/cvs-serv17501

Modified Files:
	simplify_sum_test.mac rtest_simplify_sum.mac 
Log Message:
Tests for to_hgfred method.


Index: simplify_sum_test.mac
===================================================================
RCS file: /cvsroot/maxima/maxima/share/contrib/solve_rec/simplify_sum_test.mac,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- simplify_sum_test.mac	16 Jan 2007 10:08:08 -0000	1.1
+++ simplify_sum_test.mac	25 Feb 2008 10:14:21 -0000	1.2
@@ -230,4 +230,39 @@
   [],
   true,
   [ratsimp, multthru]
-)$
\ No newline at end of file
+)$
+
+test_sum(
+  sum(x^n/n!, n, 0, inf),
+  [],
+  false,
+  []
+)$
+
+test_sum(
+  -sum(((-1)^i*x^(2*i))/i,i,1,inf),
+  [],
+  false,
+  []
+)$
+
+test_sum(
+  sum(n/((n+1)*2^n),n,1,inf),
+  [],
+  false,
+  [ratsimp]
+)$
+
+test_sum(
+  sum(n/((2*n+1)*2^n),n,0,inf),
+  [],
+  false,
+  [ratsimp]
+)$
+
+test_sum(
+  sum((4^(-i-1)*(-1)^i*x^(i+1))/(i+1),i,0,inf),
+  [],
+  false,
+  []
+)$

Index: rtest_simplify_sum.mac
===================================================================
RCS file: /cvsroot/maxima/maxima/share/contrib/solve_rec/rtest_simplify_sum.mac,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- rtest_simplify_sum.mac	5 Nov 2007 09:12:56 -0000	1.3
+++ rtest_simplify_sum.mac	25 Feb 2008 10:14:21 -0000	1.4
@@ -258,3 +258,48 @@
   [ratsimp, multthru],
   %pi^3/32);
 0;
+
+test_sum(
+  sum(x^n/n!, n, 0, inf),
+  [],
+  false,
+  [],
+  %e^x
+)$
+0;
+
+test_sum(
+  -sum(((-1)^i*x^(2*i))/i,i,1,inf),
+  [],
+  false,
+  [],
+  log(x^2+1)
+)$
+0;
+
+test_sum(
+  sum(n/((n+1)*2^n),n,1,inf),
+  [],
+  false,
+  [ratsimp],
+  2-2*log(2)
+)$
+0;
+
+test_sum(
+  sum(n/((2*n+1)*2^n),n,0,inf),
+  [],
+  false,
+  [ratsimp],
+  -(sqrt(2)*atanh(1/sqrt(2))-2)/2
+)$
+0;
+
+test_sum(
+  sum((4^(-i-1)*(-1)^i*x^(i+1))/(i+1),i,0,inf),
+  [],
+  false,
+  [],
+  log(x/4+1)
+)$
+0;