mathematica解符号变量方程