You should continue Souyma's project. I would start by looking at his proposal from last year (it's on the wiki) and see what he didn't get to.
Aaron Meurer On Wed, Mar 25, 2015 at 4:56 AM, <[email protected]> wrote: > Wow, thanks. Soumya's 2014 GSoC project was ambitious, and required hard > work. FOL.py is well structured, but is missing definitions of classes such > as ForAll and Exists (I know quantifiers are difficult). > > I would love implement first-order logic in SymPy. Some questions: > 1) Are any mentors willing to consider this project? No is OK. > 2) Would it be wise to continue Soumya's work, or to build something new? > 3) Are there any areas of SymPy which are useful to First-Order Logic or > which benefit from First-Order Logic? > 4) Are there any working implementations/papers of First-Order Logic that I > can refer to for this project? > 5) Do I have enough time to put together a reasonable application? (I am > insecure because my application is primitive compared to Soumya's) > 6) Does anyone have any other advice? > > I really would love to do this project. Thanks for your time. > > P. Dworz > > > > > > On Wednesday, March 25, 2015 at 3:02:46 AM UTC-5, Sudhanshu Mishra wrote: >> >> Hello, >> >> You might want to see this. https://github.com/sympy/sympy/pull/7608 >> >> A substantial amount of work has been already done on FOL. It hasn't been >> merged yet because of some marginal work left. >> >> Sudhanshu Mishra >> >> >> On Wed, Mar 25, 2015 at 12:14 PM, <[email protected]> wrote: >>> >>> Dear SymPy mailing list, >>> >>> This message is to introduce myself as an applicant for Google Summer of >>> Code. Please see my application wiki here: >>> https://github.com/sympy/sympy/wiki/GSoC-2015-Application:-Implement-First-Order-Logic >>> . Feedback is welcome. >>> >>> P. Dworz >>> >>> -- >>> 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/a64d3ee1-b042-4200-b586-8b3bab33a69b%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/11ea797c-ec5e-45bd-bdef-a875d5a641dd%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%3D6KLjd3jURCSyRjhH4FAY3y9mDW3mJuvfvx_ooxKG6S2-w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
