Computation of Finite and Infinite Sums

Exemplo de Uso:

Um somatório finito é calculado imediatamente:

 sum(i, i, 1, 100);

       5050

Um somatório infinito é não avaliado à esquerda:

 sum(1/x^2, x, 1, inf);

		     inf
		     ====
		     \	   1
		      >	   --
		     /	    2
		     ====  x
		     x = 1

Para obter um valor, você deve adicioar a opção simpsum=true:

 sum(1/x^2, x, 1, inf), simpsum=true;

		  2
	       %pi
	       ----
		6

Isso torna possível adicionar somatórios não avaliados:

(%i2) sum1: sum(1/x^2, x, 1, inf);

				   inf
				   ====
				   \	 1
(%o2) 				    >	 --
				   /	  2
				   ====	 x
				   x = 1

 sum2:sum(1/x^3, x, 1, inf);

				   inf
				   ====
				   \	 1
(%o3) 				    >	 --
				   /	  3
				   ====	 x
				   x = 1

 sum1 + sum2;

			      inf	 inf
			      ====	 ====
			      \	    1	 \     1
(%o4) 			       >    -- +  >    --
			      /	     2	 /      3
			      ====  x	 ====  x
			      x = 1	 x = 1

Somatórios simbólicos não são automaticamente contraídos. Para escrever ambos os termos sob um mesmo sinal de somatório, temos que aplicar a função sumcontract:

 sumcontract(%);

				inf
				====
				\      1    1
(%o5) 				 >    (-- + --)
				/       2    3
				====   x    x
				x = 1

 ev (%, simpsum=true);

					     2
					  %pi
(%o7) 			        zeta(3) + ----
					   6