代数方程组求解器中的smother为何物?