4

Maxima's simpsum seems to be lacking some basic identities for infinite series. It has :

sum(x^k, k, 0, inf), simpsum=true;

but doesn't even have identities for:

sum(k * x^k, k, 0, inf), simpsum = true;

Is there a more comprehensive series summation in maxima beyond simpsum=true?

daj
  • 6,962
  • 9
  • 45
  • 79

1 Answers1

4

Take a look at simplify_sum which applies several kinds of identities, including Gosper's and Zeilberger's methods.

(%i1) load (simplify_sum);
(%o1)      /usr/share/maxima/5.35.1/share/solve_rec/simplify_sum.mac
(%i2) 'sum(k * x^k, k, 0, inf);
                                  inf
                                  ====
                                  \        k
(%o2)                              >    k x
                                  /
                                  ====
                                  k = 0
(%i3) simplify_sum (%);
                                      x
(%o3)                            ------------
                                  2
                                 x  - 2 x + 1
Robert Dodier
  • 16,905
  • 2
  • 31
  • 48
  • ah I've sued simpify_sum before but I didn't remember the name of the package. I didn't remember that it has more patterns than simpsum=true, but that's good to know. – daj Feb 23 '15 at 17:20