[Python-ideas] Re: symbolic math in Python