Dear Joachim and Aaron, Thank you for your helpful advice. I will reread Souyma's 2014 GSoC application. And I will reread and docstring FOL.py. I will write an application explaining how I will finish Souyma's work.
P. Dworz On Wednesday, March 25, 2015 at 11:19:53 AM UTC-5, Aaron Meurer wrote: > > 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] <javascript:>> 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] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > 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/631013a0-0ffe-4bad-a809-1101356ab5b5%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
