sympy 符号运算入门(传送门)