Hi Uli, On Sat, Mar 6, 2010 at 7:10 AM, kuli <strangequ...@gmx.at> wrote: > Hello > > Yes, I've seen the logic module, but I think there's only rudimentary > support for propositional logic. I would like to help in implementing > this stuff,
Cool! Glad to know you would like to help out. > but need some time, because I have to make myself > comfortable with Python The help and support page [1] contains links to materials suitable for Python beginners. > and the whole sage math development life cycle > and all its features. In that case, allow me to suggest that you skim through the Sage standard documentation [2]. Please pay special attention to the Developer's Guide [3]. At minimum, the first chapter in that document is required reading for any Sage developer. > For example, I thought it would be a great deal to implement a turing- > machine-simulator - the question is how we represent this in sage-math > (it could be simular to http://ironphoenix.org/tril/tm/). Such stuff > would be very interesting for all computer science students. The Sage community has been trying to polish up the graph theory module in the Sage library. I suspect that the graph theory module would be useful in implementing features relating to automata theory. However, an urgent task right now is to get the NetworkX [4] standard package upgraded to at least version 1.0.1. See ticket #7608 [5] for the work so far. It really is awful that Sage still ships with a very old version of NetworkX. If you want to submit code for review, please familiarize yourself with the Sage trac server [6]. In any case, feel free to ask questions on this list if you can't find any relevant documentation that answers your query. [1] http://www.sagemath.org/help.html [2] http://www.sagemath.org/doc/ [3] http://www.sagemath.org/doc/developer/ [4] http://networkx.lanl.gov [5] http://trac.sagemath.org/sage_trac/ticket/7608 [6] http://trac.sagemath.org -- Regards Minh Van Nguyen -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
