在学习 Python 时，我发现了 SymPy 模块，它实际上是一个完整的计算机代数系统 （CAS），可用于解决数学中的符号问题，例如微分方程、多项式等。现在我正在学习 Pharo，我想知道是否有一种...