sympy是Python的数学符号计算库，本文档是sympy的官方参考手册。