Re: [sympy] Two integration test suites

2013-09-29 Thread Angus Griffith
I'm more than happy to help out (I have a vested interest: Mathics' Integrate essentially converts the expression to SymPy, does the integration and then converts back). Once there's something to convert the Mathematica patterns to I'd just need to extend the 'to_sympy' and 'from_sympy'

Re: [sympy] Two integration test suites

2013-09-16 Thread Aaron Meurer
The site just says: The mathematical knowledge on this website is freely available for any educational, academic or commercial use. Please include the website address and appropriately acknowledge its author in any product incorporating its contents. So I guess that means we can reuse it. But I

Re: [sympy] Two integration test suites

2013-09-16 Thread F. B.
But no claim is raised that the test suites cover the whole range of interesting problems! In fact they developed around the discussion of Albert Rich's Rubi (RUle-Based Integration). It is worth to look this up: http://www.apmaths.uwo.ca/~arich/ Wow, that code is amazingly simple!

Re: [sympy] Two integration test suites

2013-09-16 Thread F. B.
What about asking people at Mathics some help to import these rule-based integration scripts? Mathics is a project to create an interpreter similar to Wolfram Mathematica, with algorithmic fallback on SymPy and/or Sage. I think they are experienced in translating Mathematica code to SymPy. --

Re: [sympy] Two integration test suites

2013-09-16 Thread Aaron Meurer
I think the people at Mathics is just Angus, but sure, feel free to ask him if he wants to help out :) Aaron Meurer On Mon, Sep 16, 2013 at 4:42 PM, F. B. franz.bona...@gmail.com wrote: What about asking people at Mathics some help to import these rule-based integration scripts? Mathics is a

Re: [sympy] Two integration test suites

2013-09-14 Thread Aaron Meurer
On Fri, Sep 13, 2013 at 8:12 AM, Mateusz Paprocki matt...@gmail.com wrote: Hi, On 13 September 2013 02:09, Aaron Meurer asmeu...@gmail.com wrote: Yes, the fallback algorithm in SymPy, heurisch, is very slow. What's the longest time an integral took that still gave an answer from your tests?

Re: [sympy] Two integration test suites

2013-09-13 Thread Peter Luschny
AM Yes, the fallback algorithm in SymPy, heurisch, is very slow. What's AM the longest time an integral took that still gave an answer from your AM tests? Most of the time I used a time-out of one minute, so I cannot tell. But see this comment by Waldek Hebisch:

Re: [sympy] Two integration test suites

2013-09-13 Thread Mateusz Paprocki
Hi, On 13 September 2013 02:09, Aaron Meurer asmeu...@gmail.com wrote: Yes, the fallback algorithm in SymPy, heurisch, is very slow. What's the longest time an integral took that still gave an answer from your tests? Example 181 can be computed, in improve-heurisch branch, as follows: In

[sympy] Two integration test suites

2013-09-12 Thread Peter Luschny
Two integration test suites For some history of the two integration test suites see [1]. An implementation for SymPy can be found at github [2]. The results are listed at [3]. Running the test suites I found some examples which seem to need special attention by the developers: [161] Timofeev

Re: [sympy] Two integration test suites

2013-09-12 Thread Aaron Meurer
Yes, the fallback algorithm in SymPy, heurisch, is very slow. What's the longest time an integral took that still gave an answer from your tests? There has been work this summer on improving the Risch algorithm in SymPy to handle trigonometric functions. Unfortunately, none of it is exposed to