Symbolic Integration I: Transcendental Functions Aaron Meurer
On Apr 6, 2013, at 11:17 AM, Sandeep Dasika <dasika.sa...@gmail.com> wrote: Hello Aaron, Thank you for your reply! Could you let me know the Bronstein book you are referring to, for understanding the Risch algorithm? On Sat, Apr 6, 2013 at 6:53 PM, F. B. <franz.bona...@gmail.com> wrote: > By the way, I think that someone should implement a "rigorous mode" to > calculate an integral. Let me explain. > > If you type integrate(x**n, x) you'll get x**(n + 1)/(n + 1) > > I think that a good integration algorithm should be able to handle > particular cases like n = -1, what about an answer such as: > > Or( And( x**(n + 1)/(n + 1), Ne(n, -1) ), And( log(x), Eq(n, 1) ) ) > > The only shortcoming: you don't always get a function as an integration > result. > > There are a lot of other examples like that, even more complex ones. > > What about a boolean parameter to switch a rigorous mode on and off? I > suggest an "off" value would cause the result to always be a function, > while rigorous mode "on" would evaluate all special conditions. > > > On Saturday, April 6, 2013 8:21:25 AM UTC+2, Aaron Meurer wrote: > >> The best place to start out is with a patch, since you will need to do >> that anyway. See >> https://github.com/sympy/**sympy/wiki/GSoC-2013-**Application-Template<https://github.com/sympy/sympy/wiki/GSoC-2013-Application-Template>. >> >> >> Regarding the Risch algorithm, you will need Bronstein's book. Take a >> look at the code that is already implemented in >> sympy/integras/risch.py (and also rde.py and prde.py). >> >> Aaron Meurer >> >> On Fri, Apr 5, 2013 at 10:58 PM, smichr <smi...@gmail.com> wrote: >> > from Sandeep Dasika (I accidentally deleted his post as moderator) >> > >> > Hello everyone, >> > >> > I am Sandeep Dasika and I am student of BITS, Pilani, India. I have >> gone >> > through the GSoC 2012 Project Ideas page of SymPy. I am quite >> interested in >> > working for the Risch Algorithm for symbolic integration project for >> GSoC >> > 2013. I am a mathematics student and have a deep interest in abstract >> > algebra. Could anyone please guide me how I can start contributing >> towards >> > the idea? >> > >> > Thanks and Regards >> > Sandeep >> > 7829417850 >> > >> > -- >> > 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+un...@**googlegroups.com. >> > To post to this group, send email to sy...@googlegroups.com. >> > Visit this group at >> > http://groups.google.com/**group/sympy?hl=en-US<http://groups.google.com/group/sympy?hl=en-US>. >> >> > For more options, visit >> > https://groups.google.com/**groups/opt_out<https://groups.google.com/groups/opt_out>. >> >> > >> > >> > -- > 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 this group at http://groups.google.com/group/sympy?hl=en-US. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- Sandeep Dasika BITS, Pilani +91 7829417850 -- 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 this group at http://groups.google.com/group/sympy?hl=en-US. For more options, visit https://groups.google.com/groups/opt_out. -- 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 this group at http://groups.google.com/group/sympy?hl=en-US. For more options, visit https://groups.google.com/groups/opt_out.
