python:sympy
