Is there a CAS for Pharo?

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.