这是一个功能齐全、纯 Python 写的计算机代数系统(CAS)，可用于计算复杂的数学问题。它支持解方程、离散数学、微积分、逻辑计算、几何、概率与统计等功能。