The current plan is not to deprecate the old assumptions syntax, but to allow both. In fact, in master, ask(Q.real(x)) will call x.is_real (it also calls some other stuff too, so it should be at least as smart), so you can start migrating to the new assumptions syntax. The reverse doesn't work yet (even if you put Q.real(x) in the global assumptions).
It would be nice to finish completing the breaking changes that are planned. I believe the only one remaining to be fixed after Sudhanshu's GSoC project relates to oo.is_real. Is there anything else Sudhanshu? Perhaps we should try to work out some of the performance issues. How long will it be until the solvers are in a 1.0 ready state, especially now that GSoC is over? Aaron Meurer On Tue, Sep 1, 2015 at 2:45 AM, Francesco Bonazzi <[email protected]> wrote: > > > On Tuesday, 1 September 2015 06:30:20 UTC+2, AMiT Kumar wrote: >> >> >> Also we have yet not settled with a single assumption system. >> >> > Maybe the two assumption systems should be merged before the release of > version 1.0. It would be a bit weird to release version 1.0, and later > deprecate the old-style assumptions system. > > -- > 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 http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/471ddadb-0eb4-4139-98ec-a7b193b70a15%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/471ddadb-0eb4-4139-98ec-a7b193b70a15%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 http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6%2BJRtP1vqApCs0HZrYN_3e03C1Md0ckFXK%3DkEduz_hzKA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
