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 Thanks, 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 -~----------~----~----~----~------~----~------~--~---
