I have this at a pretty workable state. It is available at https://github.com/nathan-rice/symbolic.
Python's AST is not terribly fun to use, though I've done most of the hard work. There were a lot of corner cases and little annoyances. I still think the code transformation approach has promise, but I definitely had to force myself to work on it at several points. Has anyone here played with term rewriting software? I'm interested in hacking up a little term rewriting system for proofs and simple general computation. Suggestions for a good model to start from would be appreciated. Nathan -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.