This is a bug. Reals(-oo, oo, S.true, S.true) isn't actually correct. srepr(S.Reals) should be returning "S.Reals). See https://github.com/sympy/ sympy/issues/10035.
Aaron Meurer On Sat, Sep 24, 2016 at 10:17 PM, latot <[email protected]> wrote: > Hi all, well as you know S have constants like Reals, UniversalSet, > EmptySet, etc... I need some way to can use it directly (eval some str and > get it), this is because srepr don't return the full expression: > > from sympy import * > S.Reals > (-oo, oo) > srepr(S.Reals) > 'Reals(-oo, oo, S.true, S.true)' > eval(srepr(S.Reals)) > Traceback (most recent call last): > File "<stdin>", line 1, in <module> > File "<string>", line 1, in <module> > NameError: name 'Reals' is not defined > > Are some function to return the full expression? like 'S.Reals(-oo, oo, > S.true, S.true)' > I'm not an expert in python, so this maybe can be fixed with an import, > but i don't know which... > > Thx. Cya. > > -- > 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/ms > gid/sympy/d854a5e0-be21-4248-b354-dc1b1df0125e%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/d854a5e0-be21-4248-b354-dc1b1df0125e%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]. 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/CAKgW%3D6JnNrOd06uK8Y4Dg%2BaYJyhkb8_UvL0%2BUOyujSBRmR4bOg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
