12
$\begingroup$

The book A=B by Petkovsek, Wilf and Zeilberger describes algorithms to compute different sums of binomials. AFAIK, these algorithms are still being improved by different authors.

Do you know where we can find the most up-to-date implementations of these algorithms? And do you know if there exist implementations in some free softwares such as Sage?

$\endgroup$
7
  • $\begingroup$ Try mailing Doron Zeilberger he codes. here. $\endgroup$ Apr 18, 2012 at 17:30
  • 1
    $\begingroup$ @PratikDeoghare, he writes in Maple, which isn't free. If you know of a tool to automatically port Maple code to e.g. Sage then that would constitute an answer. $\endgroup$ Apr 18, 2012 at 18:41
  • 2
    $\begingroup$ @PeterTaylor: Of course, I am not fully satisfied by Maple implementations since I'd prefer free alternatives. For Sage, I found this page. It seems that it is not implemented yet. $\endgroup$
    – Bruno
    Apr 19, 2012 at 17:33
  • 1
    $\begingroup$ Some further information regarding Sage may be found here $\endgroup$ Apr 19, 2012 at 22:27
  • 1
    $\begingroup$ I've opened trac.sagemath.org/ticket/16619 for implementing W-Z (or any more recent research - this is not my area at all) in Sage, if anyone is interested. $\endgroup$
    – kcrisman
    Jul 6, 2014 at 1:53

1 Answer 1

7
$\begingroup$

It is implemented in Maxima (http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400), to which Sage has interface. A few dozens of examples (ranging from very easy to very difficult) I tested today work in the exact same way as in Maple.

$\endgroup$
5
  • 1
    $\begingroup$ P.S. There is also a recent sage implementation which I just noticed but haven't tested: see the webpage arminstraub.com/teaching/specialfunctions-summer16 $\endgroup$ Feb 1, 2017 at 19:02
  • 1
    $\begingroup$ Thanks Vladimir. There is a problem with the implementation you mention in the comment is that it relies on Kauers' package Ore algebra with is currently broken. $\endgroup$
    – Bruno
    Feb 2, 2017 at 13:00
  • $\begingroup$ @Bruno : thank you for letting me know! I did not realise that, noted. Thankfully, the Maxima implementation seems to meet my needs. (I found your question completely by accident in the process of hunting for free software implementations myself...) $\endgroup$ Feb 2, 2017 at 13:05
  • $\begingroup$ @Bruno : I have to say that I found a bizarre bug in the Maxima implementation, so maybe you should un-accept this answer. I'll file a bug report to the developers over the weekend. $\endgroup$ Mar 3, 2017 at 15:57
  • $\begingroup$ @Bruno : see sourceforge.net/p/maxima/mailman/message/35755540 $\endgroup$ Mar 30, 2017 at 20:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.