Wow! Unexpectedly, there is a lot work that has been done in the logic module. Great!
On Sun, Mar 11, 2012 at 8:58 AM, Aaron Meurer <[email protected]> wrote: > Unfortunately, documentation is one of the shortcomings in the > assumptions code right now. I think you're best of just reading the > code and figuring out how it works, and playing with it to see what it > can and cannot do. > > Aaron Meurer > > On Fri, Mar 9, 2012 at 9:33 AM, Alok Upadhyay <[email protected]> wrote: >> 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. >> > > -- > 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.
