In general solving inequality is not a big deal if we are able to solve the equality first. After solving the equality if just a matter of returning the solution in a restricted interval. So, I would first like to see the equality being solved then inequality would work for most of the cases, as inequality solvers calls solve/solveset internally. So we need to make sure the solveset returns the correct results.
Amit Kumar On Tuesday, March 1, 2016 at 3:07:36 PM UTC+5:30, Kshitij Saraogi wrote: > > Hello, > > Another point I would like to know about is the state of *inequality* > handling by solveset. > Recently, I was looking at issue #10140 > <https://github.com/sympy/sympy/issues/10140>. > It seems that the current solveset gives incomplete as well as an > incorrect result. > > In []: solveset(sin(x)<0, x, domain=S.Reals) > Out[]: (-∞, 0) > > In []: solveset(sin(x)>0, x, domain=S.Reals) > Out[]: (0, π) > > There is a fix suggested by Harsh #10022 > <https://github.com/sympy/sympy/pull/10022>. > I would like to continue from where he left. > > What is the status of implementing trigonometric inequality solvers ? > Shouldn't this be a high priority issue for improving solveset ? > > --------- > 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/b3a13900-4279-4601-bd8a-1b702d34b9c3%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
