[laugh_talking]

符号运算是一个选择，但是很多情况下精确解只存在理论上的意义。