7.1.2 SOS多项式分解