I went through the source of aima-python, and it strikes me that there is so much already implemented, that it'd be quite redundant to actually do it all over again. Its probably a better idea to merge aima-python -along with a few modifications- with sympy and create the sets module. I should've went through aima-python earlier. I don't really plan to implement the assumptions system, just make a port of it to work with the logic module I'll be working on. sympy.core.facts and sympy.core.logic don't seem to have changed by much in Fabian's branch, so this isn't really much to say. I probably shouldn't even mention this explicitly, it is more or less implied.
Akshay On Apr 1, 11:49 am, Ondrej Certik <ond...@certik.cz> wrote: > Hi Akshay! > > On Tue, Mar 31, 2009 at 6:01 AM, Akshay Srinivasan > > <akshaysriniva...@gmail.com> wrote: > > > I started working on my application of late. Please have a look at: > >http://wiki.sympy.org/wiki/GSoC2009Application/AkshaySrinivasan > > > Criticisms welcome :) > > Thanks! > > Apply to both PSF and PSU as well, see my other email to this list. > > Some ideas for improvement: > > * be more specific, how you want to improve the module and how you > want to implement the assumptions system --- it's a complex task, so > more details would help > * your first two points are: > > # Analyse the code of the in-development assumptions system. > # Analyse the code of aima-python. > > I think you could do the analysis right now and write it into the > applications. Generally the most successful applications have a clear > plan what to do. > > Unrelated: you study chemical engineering -- is it an application to > your research? I am just curious. I am doing chemical physics, so it > may not be so unrelated, depending on what exactly you do. > > Ondrej --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sympy?hl=en -~----------~----~----~----~------~----~------~--~---