While learning Python, I found the SymPy module, that is actually a entire computer algebra system (CAS) you can use to solve symbolic problems in mathemathics, like differential equations, polynomials et cetera. Now I'm learning Pharo, and I'd like to know if there's a way to do symbolic maths from within Pharo, something similar to SymPy.
There is a CAS in PolyMath, which is ported from CUIS, and there is Mathemagics