5.3 符号多项式函数运算