Assumptions are a pretty big undertaking. There are currently two
assumptions systems, the so-called old assumptions (Symbol('x',
real=True), x.is_real), and the so-called new assumptions (Q.real(x),
ask(Q.real(x))). We would like for there to be one.If you want a place to start, look through the issues and pull requests marked with the assumptions label (not all issues are labeled properly, so you may want to just search for "assumptions"). A few of the pull requests I've opened touch on the core issues (which is why they haven't been merged yet; they require a lot of work to completely "finish"), such as https://github.com/sympy/sympy/pull/7925, https://github.com/sympy/sympy/pull/2508, and https://github.com/sympy/sympy/pull/8134. Aaron Meurer On Fri, Mar 6, 2015 at 1:57 PM, Aaditya Nair <[email protected]> wrote: > I was reading up on the old blog post > (http://matthewrocklin.com/blog/work/2013/02/05/Assuming/) and found out > that few of those features have already been implemented. > Can someone tell me the current status of the project and what needs to be > implemented. > > On Tuesday, 24 February 2015 13:47:50 UTC+5:30, Aaditya Nair wrote: >> >> Hi, >> I want to work on improving the assumptions as part of my GSoC- 2015 >> project. >> Can somebody tell me the present status of the project and the >> prerequisite knowledge required for the project. > > -- > 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/e23a0b2d-0ebf-4531-a02c-c9b662061d62%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 [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%3D6K9kEzc44%2BXMDb5zo1nb1%2BFjWPTSasGDT0DcW_JLoo5ng%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
