Pharo 有 CAS 吗？

问：

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