不论是线性方程还是复杂的非线性方程（如超越方程）都可用这个包中的三者之一求解，并且支持符号运算。