symbolic mathematics for python
