Good catch, the first line (L39) is redundant, it should be removed. The second question you raised is also valid and this is a bug. Also please @mention me on the PRs on solveset, because the volume of activity on sympy's github I've unwatched the repo and I don't get notified for all the PR's.
On 24 June 2015 at 21:48, Aaron Meurer <asmeu...@gmail.com> wrote: > On Wed, Jun 24, 2015 at 3:33 AM, Gaurav Dhingra <axyd0...@gmail.com> wrote: >> Hi all >> >> My first question is: >> I was looking at the code base of solveset.py and test_solveset.py. I found >> that on lines >> https://github.com/sympy/sympy/blob/master/sympy/solvers/tests/test_solveset.py#L39-L40 >> . Here why do we have consecutive declaration of `x`. I am not sure if that >> make any difference to use both of these lines. > > Looks like a bug. > > I see another definition of x at the bottom of the function too. You > might try to figure out from the git history whether the first line > was intended or the second. > > Aaron Meurer > >> >> I think first line can be removed without affecting the other ? >> >> Second question is: >> >> On the line >> https://github.com/sympy/sympy/blob/master/sympy/solvers/tests/test_solveset.py#L60 >> . Why have we allowed the inversion, i mean >> here `y` is just a `Symbol` with no assumptions like `positive=True, >> real=True` >> >>>>> x = Symbol('x', real=True) >>>>> y = Symbol('y', real=True) >>>>> inverse_real(Abs(x), y, x) >> (x, FiniteSet(-y, y)) # this is what it returns currently >> # i think it should be returned as it is. >> >>>>> y = Symbol('y', real=True, positive=True) >>>>> inverse_real(Abs(x), y, x) >> (x, FiniteSet(-y, y )) # currently this is returned which i think >> is correct >> >> >> Correct me if am wrong in my thinking at this point. >> >> >> Gaurav >> >> -- >> 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 http://groups.google.com/group/sympy. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sympy/69b79a09-bb4d-4f28-814f-3bd09a6864d6%40googlegroups.com. >> 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 sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > 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%3D6L_%2B-Vj0MwbUwz6jfaFAZ-rFfu%2B%3DhtQEdY9kmNmA8iOtA%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- Harsh -- 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 http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CADN8iuqRAp77PFMoA2V5Lg7dnzfyTfbLXT0RiXLMz4svB6tmTQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.