[sympy] Re: GSoC, Logic and sets..

2009-03-24 Thread Ondrej Certik
Hi Akshay! On Tue, Mar 24, 2009 at 8:16 PM, Akshay Srinivasan wrote: > > Hello, >     I'm planning to apply for Summer of Code this year, to work on > the logic and sets. I have the following plan for the summer - > > Boolean Algebra >  /\ > /  \ > |   Set Algebra > |   |_ Cardinal Numbers > |  

[sympy] Re: GSoC, Logic and sets..

2009-03-25 Thread Akshay Srinivasan
Yes, I plan to do much of the work around the new assumptions system; I'll probably keep a port of Fabian's assumptions system, until the logic module is accepted. :) On Mar 25, 8:42 am, Ondrej Certik wrote: > Hi Akshay! > > On Tue, Mar 24, 2009 at 8:16 PM, Akshay Srinivasan > > > > wrote: > >

[sympy] Re: GSoC, Logic and sets..

2009-03-31 Thread Akshay Srinivasan
I started working on my application of late. Please have a look at: http://wiki.sympy.org/wiki/GSoC2009Application/AkshaySrinivasan Criticisms welcome :) On Mar 25, 8:20 pm, Akshay Srinivasan wrote: > Yes, I plan to do much of the work around the new assumptions system; > I'll probably keep a p

[sympy] Re: GSoC, Logic and sets..

2009-03-31 Thread Ondrej Certik
Hi Akshay! On Tue, Mar 31, 2009 at 6:01 AM, Akshay Srinivasan 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

[sympy] Re: GSoC, Logic and sets..

2009-04-01 Thread Akshay Srinivasan
On Apr 1, 11:49 am, Ondrej Certik wrote: > Hi Akshay! > > On Tue, Mar 31, 2009 at 6:01 AM, Akshay Srinivasan > > wrote: > > > I started working on my application of late. Please have a look at: > >http://wiki.sympy.org/wiki/GSoC2009Application/AkshaySrinivasan > > > Criticisms welcome :) > > Tha

[sympy] Re: GSoC, Logic and sets..

2009-04-01 Thread Akshay Srinivasan
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

[sympy] Re: GSoC, Logic and sets..

2009-04-01 Thread Ondrej Certik
On Wed, Apr 1, 2009 at 8:15 AM, Akshay Srinivasan 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 fe

[sympy] Re: GSoC, Logic and sets..

2009-04-01 Thread Ondrej Certik
Hi Akshay, On Wed, Apr 1, 2009 at 8:19 AM, Ondrej Certik wrote: > On Wed, Apr 1, 2009 at 8:15 AM, Akshay Srinivasan > 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

[sympy] Re: GSoC, Logic and sets..

2009-04-01 Thread Ondrej Certik
On Wed, Apr 1, 2009 at 1:16 PM, Ondrej Certik wrote: > Hi Akshay, > > On Wed, Apr 1, 2009 at 8:19 AM, Ondrej Certik wrote: >> On Wed, Apr 1, 2009 at 8:15 AM, Akshay Srinivasan >> wrote: >>> >>> I went through the source of aima-python, and it strikes me that there >>> is so much already impleme

[sympy] Re: GSoC, Logic and sets..

2009-04-02 Thread Akshay Srinivasan
I finished my application at last :) . I'd be glad if you could go through it again. http://wiki.sympy.org/wiki/GSoC2009Application/AkshaySrinivasan On Apr 2, 2:53 am, Ondrej Certik wrote: > On Wed, Apr 1, 2009 at 1:16 PM, Ondrej Certik wrote: > > Hi Akshay, > > > On Wed, Apr 1, 2009 at 8:19 A

[sympy] Re: GSoC, Logic and sets..

2009-04-02 Thread Ondrej Certik
Hi Akshay, On Thu, Apr 2, 2009 at 7:59 PM, Akshay Srinivasan wrote: > > I finished my application at last :) . I'd be glad if you could go > through it again. > http://wiki.sympy.org/wiki/GSoC2009Application/AkshaySrinivasan I think it looks good now. Thanks! Ondrej --~--~-~--~~--

[sympy] Re: GSoC, Logic and sets..

2009-04-04 Thread Akshay Srinivasan
Turns out, aima-python isn't exactly ideal for use in sympy yet. So it'll need quite a lot of tweaking :) On Apr 3, 10:24 am, Ondrej Certik wrote: > Hi Akshay, > > On Thu, Apr 2, 2009 at 7:59 PM, Akshay Srinivasan > > wrote: > > > I finished my application at last :) . I'd be glad if you could