I know the Risch algorithm fairly well. I made two screencast videos describing how to use Axiom or Sage to simplify one of the integrals used in the Facebook paper.
Quick summary - Axiom works quite well. Sage can't do it in one step, but the new function field features in Sage 9 allow the integral to computed, but you have to know something about the Risch algorithm to step through it. The second video is a whirlwind overview of the Risch theorem and shows how to do a Risch calculation (on the Facebook integral) using Sage. You can view the videos here: https://www.freesoft.org/blogs/soapbox/the-facebook-integral/ -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/d4b54993-e650-4627-a7fa-27b6b0c289c0%40googlegroups.com.
