3.6.1 SAGE算法