OK, so unless they aren't in sympy/integrals/, it looks like only the algorithms from chapters 1, 2, and 10 are implemented so far. So do you think I can make a GSoC project out of implementing algorithms form the rest of the book? I guess this question is mostly addressed to Mateusz, who owns the book and understands the algorithms, but if anyone else has any comments, I would love to hear them.
I am only as far as Chapter 2 in reading it, but is seems like it is within my mathematical scope of understanding, as far as that goes. Aaron Meurer On Mar 5, 2010, at 11:12 AM, asmeurer wrote: > I finally purchased Bronstein's book, which just arrived today. How > much of it remains to be implemented in SymPy? My main motivation for > getting it was to learn the Risch Algorithm, but I am wondering also > if there is some way I can make a GSoC project out of it too, since I > would like to participate again anyway. > > Aaron Meurer > > On Feb 3, 11:12 am, "Aaron S. Meurer" <asmeu...@gmail.com> wrote: >> Thanks. I made the bold ones bold because they were mentioned on this >> thread as being wanted. Of course, if you disagree or feel others should be >> bold, fell free to edit the wiki. >> >> What about the integration and summation algorithms? I can't find much >> information about the Karr algorithm, for example, except for a description >> of an implementation of the algorithm in Mathematica. My chief concern is >> if my mathematical background would be sufficient to understand the >> algorithm. >> >> I would also like to learn the Risch algorithm anyway, so maybe I should >> look into expanding that. I still need to get Bronstein's book. The first >> used book seller that I bought it from replied weeks later that it was out >> of stock, and the second was refunded from Amazon because it was damaged. :( >> >> Aaron Meurer >> On Feb 3, 2010, at 10:46 AM, Mateusz Paprocki wrote: >> >> >> >>> Hi, >> >>> On Wed, Feb 03, 2010 at 09:25:46AM -0700, Aaron S. Meurer wrote: >>>> What about the algorithms listed >>>> athttp://wiki.sympy.org/wiki/GSoC2010Ideas#Detailed_Ideas? >>>> Are they still valid, or have some of these been implemented already? Are >>>> there other good >>>> ones not listed? Also, I am not sure what the prerequisites would be for >>>> implementing some >>>> of these. >> >>>> Mateusz, or anybody? >> >>> most of them are valid and some only semi-valid: >> >>> 1. Multivariate polynomials and factorization >> >>> Done in principle be could be better, as stated in the text. >> >>> 2. Univariate polynomials over algebraic domains >> >>> Work in progress in polys5. >> >>> 3. Assumptions, formal logics etc. >> >>> Partially done last year but needs significant improvements. >> >>> And a few comments (assuming bold ones are important): >> >>> 1. Integrate our experimental Cython core into SymPy >> >>> NO, first do it the right way in pure Python. >> >>> 2. Add support for solving inequalities, and ... >> >>> This should be top priority this year. However, the problem >>> itself is huge and requires a lot of work, mostly because >>> one will need to implement cylindrical algebraic decomposition. >>> If this will be done then it will be possible to implement >>> reasoning algorithms in R^n, quantifier elimination ... >> >>> 3. Improve the series expansion >> >>> Would be cool, clean up the mess, make it fast, implement >>> other types of series. >> >>> I will update and expand the detailed ideas list in spare time. >> >>> -- >>> Mateusz > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to sy...@googlegroups.com. > To unsubscribe from this group, send email to > sympy+unsubscr...@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sy...@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
