On Tuesday, March 1, 2016 at 5:26:09 PM UTC+5:30, AMiT Kumar wrote: > > If you are planning to implement search based solver, then I would > recommend you to work on a concrete plan soon. >
I will think about some possible implementation of a search based solver. And I would appreciate if you can share how you would like it to be implemented. > As It would take a > lot of time to have a consensus from the community on something > which has not been explored much and frankly speaking I am skeptical > about it currently. > I totally understand that there is not much time left for the proposal drafting period to begin. So I will work on it and with your inputs, maybe we will find a good methodology to implement. > For the case you mentioned, I am not able to make much > sense from it for implementing a special case solver. > I am thinking of an overhead checker which can check solutions returned via different solvers. For example, In []: solveset(sin(x), x) Out[]: {2⋅n⋅π | n ∊ ℤ} ∪ {2⋅n⋅π + π | n ∊ ℤ} In []: solveset((sin(x)).rewrite(exp), x) Out[]: {n⋅π | n ∊ ℤ} Both the results are correct and mathematically identical. However, they are treated as being different from each other. For this, we can implement a `union` method for ImageSet class. Alternately, we can work up a checker which compares these solutions and returns the optimal one. This is one of the use-cases of a search based solver. Though, when you would write your plan of execution, It may get more clear > then. > I will start making a rough application draft right away to get a better overview of things. Thanks, Kshitij -- 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 https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/cbd7e018-6a49-4947-afc0-cdc1520eab27%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.