7.1 符号变量、符号表达式和符号方程的生成