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 <[email protected]> wrote: > Hi Akshay! > > On Tue, Mar 24, 2009 at 8:16 PM, Akshay Srinivasan > > > > <[email protected]> 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 > > | |_ Relations > > | |_ Venn Diagrams, probably use pyglet > > | |_ Graph Theory > > | |_ Graphviz Support, use yapgvb > > | > > |_ Logic > > |_ Predicate , first order > > > About me: > > I'm a sophomore undergraduate student in Chemical Engineering at the > > National Insitute of Technology, Surathkal (http://nitk.ac.in). > > > I still have to prepare a timeline. > > Excellent, looking forward! > > Would it work with the assumption system that Fabian is creating? Of > course, it's hard to work with something, that is still in > development, but my question is if your implementation of logic will > be good enough to merge with the assumption system in sympy, so that > we can have just one logic implementation in sympy. That'd be awesome. > > 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 -~----------~----~----~----~------~----~------~--~---
