Thanks Aaron! I have already forked the code-base, I am studying the assumptions system code.
Can you help me find some more documentation of the assumptions system? On Fri, Mar 9, 2012 at 11:40 AM, Aaron Meurer <[email protected]> wrote: > Hi. > > Sorry for taking so long to reply. I don't know enough about logic myself to > really tell you much. I can say that the idea is intimately tied in with the > assumptions. We currently have two assumptions systems, the old one that > needs to be removed and the new one that needs to be improved to a usable > state. > > For logic, I do know that we don't have any second order logic implemented > (quantifiers). > > I recommend that you start looking at the code, and start looking for > something you can do to satisfy the patch requirement. > > Aaron Meurer > > On Thursday, March 1, 2012, Alok <[email protected]> wrote: >> Hi there, >> >> >> Firstly, I would like to introduce myself to the group: >> >> I am a third year undergraduate student from BITS Pilani University, >> India. My major is Information Systems. Talking about the academic >> prowess/experience in the field, I had done a course, titled "Logic >> in Computer Science", last year. Apart from that I have done regular >> courses on "Discrete Math", "Data Structures and Algorithms", "Linear >> Algebra" previously. >> >> Coming to my coding skills, I am an advanced Python programmer with >> around one year of experience in coding different algorithms/data- >> structures, writing server-client socket applications for my personal >> usage, playing with the twitter API etc. >> >> Apart from this, I have experience in using Prolog, which I used >> during my Logic in CS course to test and implement formal logic rules >> and predicates. >> >> >> Coming to the idea itself: >> >> I quite liked the idea, when I saw it first on the ideas page[1]. I >> skimmed through the /sympy/assumptions/ directory[2] on github, and >> the first feeling was that, "this is nice and clean". And I could >> possibly do it, once I get a hang of it. >> >> I am well versed with the conceptual parts of the subject and using >> such systems from the outside, but getting under-the-hood and writing >> such programs would be a first time for me. >> >> Could someone please lay-down the idea in more concrete and acheivable >> terms for me, like you have to implement Natural Deduction Rules or >> implement Quantifier Equivalences etc. >> >> Thanks, >> Alok >> >> [1]: https://github.com/sympy/sympy/wiki/gsoc-2012-Ideas >> [2]: https://github.com/sympy/sympy/tree/master/sympy/assumptions >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sympy" group. >> To post to this group, send email to [email protected]. >> To unsubscribe from this group, send email to >> [email protected]. >> For more options, visit this group at >> http://groups.google.com/group/sympy?hl=en. >> >> > > -- > Sent from my iPhone. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
