You said, > The question is really --- has anyone yet used Python to do any > symbolic math? If someone hasn't told you yet, you should definately check out Pythonica, http://www.strout.net/info/coding/python/pythonica.html It is not a full featured CAS, but it does show how to do symbolic math in Python.