Python module for symbolic mathematics.
