离散数学    多项式 / 高斯消元