There has been extensive discussion over the years and continuing to today about what should be done when a computer algebra system is asked to "solve" sometime. The Maxima system mailing list, Mathematica stackexchange, and years of, well, mulling over what to do when (say) there are an infinite set of solutions, or when the so-called solutions have to be checked, etc.
I don't know whether the GSoC project people studied this, but if not, there are lots of ideas out there. some really bad options have been explored. RJF On Tuesday, January 6, 2015 1:07:49 PM UTC-8, Aaron Meurer wrote: > > > > On Tue, Jan 6, 2015 at 9:16 AM, Luv Agarwal <[email protected] > <javascript:>> wrote: > >> Thanks for the response :-). I have a few questions as follows: >> >> 1. In GSoC last year there was a project on improvising solvers. I >> wanted to know how much of that is implemented (the ideas page of this >> year >> is not updated yet) as I am interested in working on solvers. >> 2. what are the other solvers that need to implemented in this year >> GSoC and some references to the algorithms that will be used in >> implementing those solvers. >> 3. when will this >> <https://github.com/sympy/sympy/wiki/GSoC-2015-Ideas> ideas page be >> updated. >> >> > Harsh, could you update the ideas page? You know better than anyone what > still needs to be implemented. > > Aaron Meurer > > >> >> 1. >> >> Regards >> Luv Agarwal >> >> On Tue, Jan 6, 2015 at 1:10 PM, Aaron Meurer <[email protected] >> <javascript:>> wrote: >> >>> SymPy does have nsolve, which uses mpmath, but in general, numerical >>> algorithms are not represented well in SymPy, and you're better off using >>> other libraries if that's what you're interested in. >>> >>> Aaron Meurer >>> >>> On Mon, Jan 5, 2015 at 4:34 PM, Sudhanshu Mishra <[email protected] >>> <javascript:>> wrote: >>> >>>> > Also, it can sometimes be more useful to have a numeric solution >>>> than a solution represented in symbolic form. >>>> >>>> And that's why we have libraries like scipy/numpy :) >>>> >>>> Regards >>>> Sudhanshu Mishra >>>> www.sudhanshumishra.in >>>> >>>> On Tue, Jan 6, 2015 at 4:20 AM, Luv Agarwal <[email protected] >>>> <javascript:>> wrote: >>>> >>>>> Also, it can sometimes be more useful to have a numeric solution than >>>>> a solution represented in symbolic form. >>>>> >>>>> -- >>>>> 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 [email protected] <javascript:>. >>>>> To post to this group, send email to [email protected] >>>>> <javascript:>. >>>>> Visit this group at http://groups.google.com/group/sympy. >>>>> To view this discussion on the web visit >>>>> https://groups.google.com/d/msgid/sympy/33ca1963-260c-499c-a244-b38da6a4ae1a%40googlegroups.com >>>>> >>>>> <https://groups.google.com/d/msgid/sympy/33ca1963-260c-499c-a244-b38da6a4ae1a%40googlegroups.com?utm_medium=email&utm_source=footer> >>>>> . >>>>> >>>>> For more options, visit https://groups.google.com/d/optout. >>>>> >>>> >>>> -- >>>> 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 [email protected] <javascript:>. >>>> To post to this group, send email to [email protected] >>>> <javascript:>. >>>> Visit this group at http://groups.google.com/group/sympy. >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/sympy/CAFW_KCR7c7uk89_MCxZ_3FN6tL1MkHZq7uQhfQab%3D5yURM6pag%40mail.gmail.com >>>> >>>> <https://groups.google.com/d/msgid/sympy/CAFW_KCR7c7uk89_MCxZ_3FN6tL1MkHZq7uQhfQab%3D5yURM6pag%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>>> For more options, visit https://groups.google.com/d/optout. >>>> >>> >>> -- >>> You received this message because you are subscribed to a topic in the >>> Google Groups "sympy" group. >>> To unsubscribe from this topic, visit >>> https://groups.google.com/d/topic/sympy/SVN6EOBgFeQ/unsubscribe. >>> To unsubscribe from this group and all its topics, send an email to >>> [email protected] <javascript:>. >>> To post to this group, send email to [email protected] >>> <javascript:>. >>> Visit this group at http://groups.google.com/group/sympy. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/sympy/CAKgW%3D6%2BkCGoCYd4vqqB6dB6a_D2o2To524LD2xHh8dQXbTP9dA%40mail.gmail.com >>> >>> <https://groups.google.com/d/msgid/sympy/CAKgW%3D6%2BkCGoCYd4vqqB6dB6a_D2o2To524LD2xHh8dQXbTP9dA%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >>> For more options, visit https://groups.google.com/d/optout. >>> >> >> -- >> 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 [email protected] <javascript:>. >> To post to this group, send email to [email protected] <javascript:> >> . >> Visit this group at http://groups.google.com/group/sympy. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sympy/CAM7XJK4GR0THNaB70LhKZZ-dbyCsK9RMwKcc11H7neZ9m5P%3DbQ%40mail.gmail.com >> >> <https://groups.google.com/d/msgid/sympy/CAM7XJK4GR0THNaB70LhKZZ-dbyCsK9RMwKcc11H7neZ9m5P%3DbQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> >> For more options, visit https://groups.google.com/d/optout. >> > > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/a503b9ed-e684-4483-a027-e8f3a1f3b164%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
