Don't forget to submit it in Melange. It won't count unless you do. Also, you will need to submit a patch to fulfill the patch requirement. I would recommend working on that.
Aaron Meurer On Thu, Mar 26, 2015 at 9:21 PM, <[email protected]> wrote: > Dear potential GSoC mentors, > > I have worked tirelessly this week (Spring break) writing my GSoC > application. I watched the SymPy tutorial videos. I studied relevant parts > of docs.sympy.org. I read the SymPy Logic Module and Souyma's FOL.py. > > I believe that SymPy is powerful enough to support many types of logic > (including Propositional and First-Order) in one framework. I hope to > implement this framework. My Proposal: > https://github.com/sympy/sympy/wiki/GSoC-2015-Application:-Implement-First-Order-Logic > > I am accepting feedback until the deadline :) > > Please let me spend my summer on this project :) > > P. Dworz > > > > > On Wednesday, March 25, 2015 at 11:52:45 AM UTC-5, [email protected] wrote: >> >> 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]> 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/55e52372-5960-40a2-a5c4-0ca6a8299988%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%3D6Lkcrdj4tLANAwo%3DR-75zKNm0jo3G4iRWUZnCqG0iDjFQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
