[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-24 Thread Burcin Erocal
On Thu, 23 Apr 2009 13:43:54 -0700 Ondrej Certik ond...@certik.cz wrote: On Thu, Apr 23, 2009 at 1:17 PM, Tim Lahey tim.la...@gmail.com wrote: On Apr 23, 2009, at 4:07 PM, William Stein wrote: Could you explain how assumptions are so important?  Could you We already discussed

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-23 Thread Jason Grout
Ondrej Certik wrote: On Wed, Apr 22, 2009 at 2:53 PM, Maurizio maurizio.gran...@gmail.com wrote: We managed to get one gsoc project that does the assumptions right, so it may happen anyways over the summer, in fact I very much hope so. How does assumptions affect this? If that's so

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-23 Thread William Stein
On Thu, Apr 23, 2009 at 12:51 PM, Jason Grout jason-s...@creativetrax.com wrote: Ondrej Certik wrote: On Wed, Apr 22, 2009 at 2:53 PM, Maurizio maurizio.gran...@gmail.com wrote: We managed to get one gsoc project that does the assumptions right, so it may happen anyways over the summer, in

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-23 Thread Tim Lahey
On Apr 23, 2009, at 4:07 PM, William Stein wrote: Could you explain how assumptions are so important? Could you particularly address how they can (1) be so critically important, and yet (2) ginac doesn't have them. Incidentaly, to me they are particularly important in symbolic

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-23 Thread Ondrej Certik
On Thu, Apr 23, 2009 at 1:17 PM, Tim Lahey tim.la...@gmail.com wrote: On Apr 23, 2009, at 4:07 PM, William Stein wrote: Could you explain how assumptions are so important?  Could you We already discussed this many times on this list, just search the archives. Without good assumptions, you

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-22 Thread Ondrej Certik
On Tue, Apr 21, 2009 at 12:44 AM, mabshoff mabsh...@googlemail.com wrote: On Apr 21, 12:32 am, Robert Bradshaw rober...@math.washington.edu wrote: On Apr 20, 2009, at 11:44 PM, Maurizio wrote: Hi Michael, Actually, I thought that this discussion (especially people much more expert

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-22 Thread Ondrej Certik
On Wed, Apr 22, 2009 at 9:08 AM, Ondrej Certik ond...@certik.cz wrote: welcome competition, because that's the only way to actually move forward, but for Sage and sympy. For example thanks to sympy, you but - both O. --~--~-~--~~~---~--~~ To post to this

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-22 Thread Maurizio
We managed to get one gsoc project that does the assumptions right, so it may happen anyways over the summer, in fact I very much hope so. How does assumptions affect this? If that's so important, you should probably get a lot of focus on that! But consider also PDE important ;) We'll see.

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-22 Thread Ondrej Certik
On Wed, Apr 22, 2009 at 2:53 PM, Maurizio maurizio.gran...@gmail.com wrote: We managed to get one gsoc project that does the assumptions right, so it may happen anyways over the summer, in fact I very much hope so. How does assumptions affect this? If that's so important, you should

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-21 Thread Maurizio
Hi Michael, Actually, I thought that this discussion (especially people much more expert than me) has clarified the point that implementing integrals is not really just matter of a couple of months... but I would be glad to see this happen! I know there are some license issues with SymPy (not

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-21 Thread Robert Bradshaw
On Apr 20, 2009, at 11:44 PM, Maurizio wrote: Hi Michael, Actually, I thought that this discussion (especially people much more expert than me) has clarified the point that implementing integrals is not really just matter of a couple of months... but I would be glad to see this happen!

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-21 Thread mabshoff
On Apr 21, 12:32 am, Robert Bradshaw rober...@math.washington.edu wrote: On Apr 20, 2009, at 11:44 PM, Maurizio wrote: Hi Michael, Actually, I thought that this discussion (especially people much more expert than me) has clarified the point that implementing integrals is not really

[sage-devel] Re: Indefinite Integration [WAS: programming: define a new function]

2009-04-20 Thread mabshoff
On Apr 20, 1:12 pm, Maurizio maurizio.gran...@gmail.com wrote: Hi Burcin, thanks for replying! SNIP I don't know what about those algorithms, but it seems to me that SymPy already implements some good heuristics, which can solve integrals that Mathematica can't. Well, there are many,