If you are planning to implement search based solver, then I would recommend you to work on a concrete plan soon. 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. For the case you mentioned, I am not able to make much sense from it for implementing a special case solver. Though, when you would write your plan of execution, It may get more clear then.
> There seems to be some issue with the solve_univariate_inequality function. It seems like a bug. Amit Kumar On Tuesday, March 1, 2016 at 5:07:41 PM UTC+5:30, Kshitij Saraogi wrote: > > > On Tuesday, March 1, 2016 at 4:27:12 PM UTC+5:30, AMiT Kumar wrote: >> >> >> There are a lot of equations which are not solved the solveset or solve in >> general, the equation you mentioned could just be one of them, It doesn't >> denotes a well known type of equation which could be targeted, I would >> like >> to know if there is a special case which you are interested in? Also If >> that's >> not solved by solve as well? If that's solved by solve, you can get a >> grasp of >> the algorithm which could be implemented in solveset. >> >> > > No. I am not interested in any special case. > I was just giving an instance where I think solveset needs improving. > Also, we are hard coding a lot of solvers for specific equations like > _solve_real_trig, _solve_abs etc. > I think adding a search based solver will add flexibility to the equations > solveset can handle. > > What are your thoughts on this ? > > -------- > 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 [email protected]. To post to this group, send email to [email protected]. 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/fee6ea66-8abc-4300-b458-b942e90a6577%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
