Python package for symbolic computation
