对于一个大因素进行因式分解,为算法导论上的算法