1.3.2 符号计算库

SymPy是一套数学符号运算的扩展库，虽然与一些专门的符号运算软件相比，SymPy的功能以及运算速度都还是较弱的，但是由于它完全采用Python编写，因此能够很好地与其他的科学计算库相结合。

下面用SymPy提供的符号积分函数integrate()对上面的公式进行积分运算，可以看到运算的结果为符号表示的π：

    from sympy import symbols, integrate, sqrt
    x = symbols("x")
    integrate(sqrt(1-x**2), (x, -1, 1)) * 2
    pi