On Wed, Apr 1, 2009 at 1:16 PM, Ondrej Certik <[email protected]> wrote: > Hi Akshay, > > On Wed, Apr 1, 2009 at 8:19 AM, Ondrej Certik <[email protected]> wrote: >> On Wed, Apr 1, 2009 at 8:15 AM, Akshay Srinivasan >> <[email protected]> wrote: >>> >>> 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. >> >> Cool, if it can be used for the logic, that be awesome. I talked to >> the author and we can use it, as it is MIT. > > please apply to both PSF and PSU *now*. You can then refine it later. > More info here: > > http://groups.google.com/group/sympy/browse_thread/thread/c28fa1023df40d71
Ping me when you update the application, I'll go over it again. Ondrej --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
