Pharo 有 CAS 吗?

Is there a CAS for Pharo?

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

有个CAS in PolyMath, which is ported from CUIS, and there is Mathemagics