[sympy] Re: Undoable integral example

2013-05-27 Thread Rathmann
Oops, sorry. Apparently I haven't been updating my branch properly. On Monday, May 27, 2013 10:53:22 AM UTC-7, Aaron Meurer wrote: > > What is a good example of a (preferably simple) integral that SymPy > will not likely be able to ever do, because there really aren't any > closed forms of it,

Re: [sympy] Re: Undoable integral example

2013-05-27 Thread someone
> Maybe someone could try it in Axiom This is from Fricas compiled today: (1) -> integrate(x^x, x) x ++%A (1) | %A d%A ++ Type: Union(Expression(Integer),...) -- You received this message because you are subscrib

Re: [sympy] Re: Undoable integral example

2013-05-27 Thread Aaron Meurer
That was before the fix from this issue: https://code.google.com/p/sympy/issues/detail?id=3761, which was a wrong result. So very likely that answer is wrong. Aaron Meurer On Mon, May 27, 2013 at 1:45 PM, Rathmann wrote: > But Sympy returns a result for x**x as well. It is just not in terms tha

Re: [sympy] Re: Undoable integral example

2013-05-27 Thread someone
> I don't get that from master. It is wrong, check for example the first branch of Piecewise: In [210]: Piecewise((x*x**x*gamma(x + 1)/gamma(x + 2), Abs(x) < 1), (x*x**x*gamma(x + 1)/gamma(x + 2) + gamma(x + 1)/gamma(x + 2) + gamma(-x - 1)/gamma(-x), Abs(1/x) < 1), (meijerg(((1,), (x + 2,)), (

[sympy] Re: Undoable integral example

2013-05-27 Thread Rathmann
But Sympy returns a result for x**x as well. It is just not in terms that most will find easy to understand: >>> integrate(x**x) Piecewise((x*x**x*gamma(x + 1)/gamma(x + 2), Abs(x) < 1), (x*x**x*gamma(x + 1)/gamma(x + 2) + gamma(x + 1)/gamma(x + 2) + gamma(-x - 1)/gamma(-x), Abs(1/x) < 1), (me

Re: [sympy] Re: Undoable integral example

2013-05-27 Thread Aaron Meurer
That's a good idea. WolframAlpha doesn't return a solution. Maybe someone could try it in Axiom and elsewhere (what other system besides Mathematica is good with special functions?). Aaron Meurer On Mon, May 27, 2013 at 1:38 PM, Chris Smith wrote: > How about x**x? > > -- > You received this m

Re: [sympy] Re: Undoable integral example

2013-05-27 Thread Chris Smith
I don't get that from master. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroup

Re: [sympy] Re: Undoable integral example

2013-05-27 Thread Chris Smith
I don't think anybody will have this one as it is of little use according to http://www.sciforums.com/showthread.php?76644-Integrate-X-X -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, s

Re: [sympy] Re: Undoable integral example

2013-05-27 Thread Aaron Meurer
"Closed-form" for me means "SymPy returns an answer." "simple" for me means "not too complicated, and preferably not using any special functions." I just want something like "If integrate() cannot compute the integral, it returns an unevaluated Integral() object " for the new tutorial, but with

Re: [sympy] Re: Undoable integral example

2013-05-27 Thread Chris Smith
How about x**x? -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit t

[sympy] Re: Undoable integral example

2013-05-27 Thread Rathmann
How do you want to define closed form? If you allow Meijer G-functions, isn't pretty much anything integable? There are lots of examples expression without elementary antiderivatives: sin(x)/x , e**(-x**2), etc., but Sympy gives answers for these, of course. On Monday, May 27, 2013 10:53:22 A