Python package for symbolic computation