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